diff options
Diffstat (limited to 'lib/Camlcoq.ml')
-rw-r--r-- | lib/Camlcoq.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Camlcoq.ml b/lib/Camlcoq.ml index 57b1b560..00c21030 100644 --- a/lib/Camlcoq.ml +++ b/lib/Camlcoq.ml @@ -106,7 +106,9 @@ let extern_atom a = try Hashtbl.find string_of_atom a with Not_found -> - Printf.sprintf "<unknown atom %ld>" (camlint_of_positive a) + Printf.sprintf "$%ld" (camlint_of_positive a) + +let first_unused_ident () = !next_atom (* Strings *) |