diff options
Diffstat (limited to 'backend/CMparser.mly')
-rw-r--r-- | backend/CMparser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/CMparser.mly b/backend/CMparser.mly index a62bd74..ce9bd08 100644 --- a/backend/CMparser.mly +++ b/backend/CMparser.mly @@ -43,7 +43,7 @@ let temporaries = ref [] let mktemp () = incr temp_counter; let n = Printf.sprintf "__t%d" !temp_counter in - let id = Coq_xO (intern_string n) in + let id = intern_string n in temporaries := id :: !temporaries; id |