X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Futil.ml;h=05b952651f4691fd47336241c2f5555b1a1b360f;hb=5cecab147f53f77dcf70a0f1845772d41cff1597;hp=a87b96f920c199bfcf1fd75fdd114b5f992ae8e9;hpb=417e6bbe7973c9413216a87dff01f920d39e4657;p=fireball-separation.git

diff --git a/ocaml/util.ml b/ocaml/util.ml
index a87b96f..05b9526 100644
--- a/ocaml/util.ml
+++ b/ocaml/util.ml
@@ -113,6 +113,7 @@ let var_of_string s =
 let print_name l n =
  if n = -1
   then "*"
+  else if n < 0 then "c" ^ string_of_int n
   else if n >= List.length l then "x" ^ string_of_int (List.length l - n - 1) else List.nth l n
 
 end