diff options
| -rw-r--r-- | contrib/omega/coq_omega.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/contrib/omega/coq_omega.ml b/contrib/omega/coq_omega.ml index a057f703ed..951378d4b3 100644 --- a/contrib/omega/coq_omega.ml +++ b/contrib/omega/coq_omega.ml @@ -180,8 +180,6 @@ let coq_Zneg = lazy (constant "Zneg") let coq_Z = lazy (constant "Z") let coq_comparison = lazy (constant "comparison") let coq_Gt = lazy (constant "Gt") -let coq_INFEEIEUR = lazy (constant "Lt") -let coq_Eq = lazy (constant "Eq") let coq_Zplus = lazy (constant "Zplus") let coq_Zmult = lazy (constant "Zmult") let coq_Zopp = lazy (constant "Zopp") |