diff options
Diffstat (limited to 'contrib/omega/coq_omega.ml')
| -rw-r--r-- | contrib/omega/coq_omega.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/omega/coq_omega.ml b/contrib/omega/coq_omega.ml index 51d9a46ec..20dd7dd05 100644 --- a/contrib/omega/coq_omega.ml +++ b/contrib/omega/coq_omega.ml @@ -339,7 +339,8 @@ let coq_neq = lazy (constant ["auxiliary"] "neq") let coq_Zne = lazy (constant ["auxiliary"] "Zne") let constant dir s = - Declare.global_absolute_reference (make_path dir (id_of_string s) CCI) + Declare.global_absolute_reference + (make_path ("Coq"::dir) (id_of_string s) CCI) (* Peano *) let coq_le = lazy (constant ["Init";"Peano"] "le") |