diff options
Diffstat (limited to 'contrib/setoid_ring/Ring_base.v')
-rw-r--r-- | contrib/setoid_ring/Ring_base.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/setoid_ring/Ring_base.v b/contrib/setoid_ring/Ring_base.v index 2209f0643..e0ff5b023 100644 --- a/contrib/setoid_ring/Ring_base.v +++ b/contrib/setoid_ring/Ring_base.v @@ -11,5 +11,5 @@ ZArith_base. *) Declare ML Module "newring". -Require Export Ring_th. +Require Export Ring_theory. Require Export Ring_tac. |