diff options
Diffstat (limited to 'tools/ocamloptp.ml')
| -rw-r--r-- | tools/ocamloptp.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/ocamloptp.ml b/tools/ocamloptp.ml index 178f7c2d2..4e299c96e 100644 --- a/tools/ocamloptp.ml +++ b/tools/ocamloptp.ml @@ -120,6 +120,7 @@ module Options = Main_args.Make_optcomp_options (struct let _dscheduling = option "-dscheduling" let _dlinear = option "-dlinear" let _dstartup = option "-dstartup" + let _opaque = option "-opaque" let anonymous = process_file end);; |