summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGuillaume Seguin <guillaume@segu.in>2009-01-22 02:42:49 +0100
committerGuillaume Seguin <guillaume@segu.in>2009-01-22 02:42:49 +0100
commit52aa6220aba4c6444991f98648a2e9723d7ba7f1 (patch)
treebb0a4516d12821bf7266f43d1e036bbd353648b2
parent2c0b3dbfb1a7270bfe647d7a0cab79e60b337963 (diff)
downloadpetitcaml-52aa6220aba4c6444991f98648a2e9723d7ba7f1.tar.gz
petitcaml-52aa6220aba4c6444991f98648a2e9723d7ba7f1.tar.bz2
[petitcaml] Remove dead code
-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 =