diff options
Diffstat (limited to 'src/jib/jib_ir.ml')
| -rw-r--r-- | src/jib/jib_ir.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/jib/jib_ir.ml b/src/jib/jib_ir.ml index df60db1c..c5f2b20a 100644 --- a/src/jib/jib_ir.ml +++ b/src/jib/jib_ir.ml @@ -242,6 +242,7 @@ module Flat_ir_formatter = Ir_formatter.Make(Flat_ir_config) let () = let open Interactive in + let open Jib_interactive in (fun arg -> let is_def id = function |