summaryrefslogtreecommitdiff
path: root/utils.ml
diff options
context:
space:
mode:
Diffstat (limited to 'utils.ml')
-rw-r--r--utils.ml2
1 files changed, 0 insertions, 2 deletions
diff --git a/utils.ml b/utils.ml
index 3e05579..c702109 100644
--- a/utils.ml
+++ b/utils.ml
@@ -43,8 +43,6 @@ let rec format_motif m =
| Mtuple [] -> "" (* Avoids an useless warning *)
and motif_tuple_folder base motif =
Printf.sprintf "%s, %s" base (format_motif motif)
-and motif_list_folder base motif =
- Printf.sprintf "%s ; %s" base (format_motif motif)
(* Helper pour l'indentation, crée une string de `level` espaces de long *)
let make_indent level =