diff options
Diffstat (limited to 'contrib/setoid_ring')
| -rw-r--r-- | contrib/setoid_ring/newring.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/setoid_ring/newring.ml4 b/contrib/setoid_ring/newring.ml4 index d965e39c2d..2facb0dcb4 100644 --- a/contrib/setoid_ring/newring.ml4 +++ b/contrib/setoid_ring/newring.ml4 @@ -27,7 +27,7 @@ open Setoid_replace open Proof_type open Coqlib open Tacmach -open Ppconstrnew +open Ppconstr open Mod_subst open Tacinterp open Libobject |