X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaInit.ml;h=2655798a97087c2b48b628ea389ac33049eaa376;hb=13bfd154ade0996d34e7e723398ac7ab76a51717;hp=5ca8ffc82a7f6f600303c41fe0d3c32afa6f6cbd;hpb=32e77480c65cbf23ae7dea38a519c83dfeaf3830;p=helm.git

diff --git a/helm/software/matita/matitaInit.ml b/helm/software/matita/matitaInit.ml
index 5ca8ffc82..2655798a9 100644
--- a/helm/software/matita/matitaInit.ml
+++ b/helm/software/matita/matitaInit.ml
@@ -229,7 +229,7 @@ let parse_cmdline init_status =
               ("Do not catch top-level exception "
               ^ "(useful for backtrace inspection)");
 	    "-onepass",
-	    Arg.Unit (fun () -> GrafiteDisambiguator.only_one_pass := true),
+	    Arg.Unit (fun () -> MultiPassDisambiguator.only_one_pass := true),
 	    "Enable only one disambiguation pass";    
           ]
         else []