diff options
Diffstat (limited to 'contrib/ring')
| -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 2f42af6b71..bf45397983 100644 --- a/contrib/ring/ring.ml +++ b/contrib/ring/ring.ml @@ -724,7 +724,7 @@ let constants_to_unfold = let transform s = let sp = path_of_string s in let dir, id = repr_path sp in - Libnames.encode_kn dir id + Libnames.encode_con dir id in List.map transform [ "Coq.ring.Ring_normalize.interp_cs"; |