Merge pull request #12 from kry127/1.00.remove_fix

Remove unused 'fix' operator in Driver.ml
This commit is contained in:
Dmitry Boulytchev 2020-10-21 07:40:50 +03:00 committed by GitHub
commit 47d42aa4a2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -38,7 +38,6 @@ exception Commandline_error of string
class options args =
let n = Array.length args in
let rec fix f = f (fix f) in
let dump_ast = 1 in
let dump_sm = 2 in
let help_string =