diff options
Diffstat (limited to 'plugins/setoid_ring/newring.ml4')
-rw-r--r-- | plugins/setoid_ring/newring.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/setoid_ring/newring.ml4 b/plugins/setoid_ring/newring.ml4 index f040de33c..2f9e8509c 100644 --- a/plugins/setoid_ring/newring.ml4 +++ b/plugins/setoid_ring/newring.ml4 @@ -260,7 +260,7 @@ let rec dest_rel t = (****************************************************************************) (* Library linking *) -let plugin_dir = "Setoid_ring" +let plugin_dir = "setoid_ring" let cdir = ["Coq";plugin_dir] let plugin_modules = |