diff options
| author |  letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-06 13:46:32 +0000 |
|---|---|---|
| committer | letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-10-06 13:46:32 +0000 |
| commit | 1eec50ffa6aaa5e602824674c85548afd7f4516d (patch) | |
| tree | ad421aafbea28db23518b434a58eb2adb05be1ed /contrib/ring/ring.ml | |
| parent | 5c260e48dfaafd9f3ad14610e02676d9162fecaf (diff) | |
distinguer interp_cs et interp_setcs
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4529 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib/ring/ring.ml')
| -rw-r--r-- | contrib/ring/ring.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/ring/ring.ml b/contrib/ring/ring.ml index 7a95671b8..ac3274ae7 100644 --- a/contrib/ring/ring.ml +++ b/contrib/ring/ring.ml @@ -94,7 +94,7 @@ let coq_SetPconst = lazy (ring_constant "SetPconst") let coq_SetPopp = lazy (ring_constant "SetPopp") let coq_interp_setsp = lazy (ring_constant "interp_setsp") let coq_interp_setp = lazy (ring_constant "interp_setp") -let coq_interp_setcs = lazy (ring_constant "interp_cs") +let coq_interp_setcs = lazy (ring_constant "interp_setcs") let coq_setspolynomial_simplify = lazy (ring_constant "setspolynomial_simplify") let coq_setpolynomial_simplify = |