diff options
Diffstat (limited to 'contrib/omega/coq_omega.ml')
| -rw-r--r-- | contrib/omega/coq_omega.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/omega/coq_omega.ml b/contrib/omega/coq_omega.ml index 06c404aefb..ca241ecd2f 100644 --- a/contrib/omega/coq_omega.ml +++ b/contrib/omega/coq_omega.ml @@ -48,7 +48,7 @@ let new_identifier = let new_identifier_state = let cpt = ref 0 in - (fun () -> let s = make_ident "State" !cpt in incr cpt; s) + (fun () -> let s = make_ident "State" (Some !cpt) in incr cpt; s) let new_identifier_var = let cpt = ref 0 in |