]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/transcript/engine.ml
- some depend files fixed
[helm.git] / helm / software / components / binaries / transcript / engine.ml
index 39086d53fa86a4b7f3e89152be122f384366bbd4..da07dd235489890fa39b5ec31d2aa3e47bcdb415 100644 (file)
@@ -201,9 +201,10 @@ let make_script_name st script name =
 let get_iparams st name =
    let debug debug = GA.IPDebug debug in
    let map = function
+      | "comments"   -> GA.IPComments
       | "nodefaults" -> GA.IPNoDefaults
       | "coercions"  -> GA.IPCoercions
-      | "comments"   -> GA.IPComments
+      | "cr"         -> GA.IPCR
       | s            -> 
         try Scanf.sscanf s "debug-%u" debug with
            | Scanf.Scan_failure _