X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Ftest_parser.ml;h=356c0a369e7b286aea1d00d92ab790e6aa99a714;hb=a3bc73ee710387e84d1cd33a3f8f6303daa7cc1f;hp=b7cace0cb1dece3d5f54ae179acd9d251a39a7a5;hpb=18ad62cacbbb08decd4332b0bab449e640114fd7;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/test_parser.ml b/helm/ocaml/cic_disambiguation/test_parser.ml
index b7cace0cb..356c0a369 100644
--- a/helm/ocaml/cic_disambiguation/test_parser.ml
+++ b/helm/ocaml/cic_disambiguation/test_parser.ml
@@ -33,7 +33,7 @@ let mode =
     | "alias" -> prerr_endline "Alias"; `Alias
     | "term" -> prerr_endline "Term"; `Term
     | "tactic" -> prerr_endline "Tactic"; `Tactic
-    | "tactical" -> prerr_endline "Tactical"; `Tactical
+    | "tactical" | "command" -> prerr_endline "Tactical"; `Tactical
     | "script" -> prerr_endline "Script"; `Script
     | _ ->
         prerr_endline "What???????";