Commit 031bddc7 authored by Mário Pereira's avatar Mário Pereira
Browse files

OCaml printer: local identifiers under modular option

parent 45f71248
......@@ -91,7 +91,7 @@ module Print = struct
let print_qident ~sanitizer info fmt id =
if info.flat then raise Not_found;
if info.flat || is_local_id info id then raise Not_found;
let lp, t, q =
try Pmodule.restore_path id
with Not_found -> Theory.restore_path id in
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment