Skip to main content

Browse the archive

Revision 94b1fdd79703ee5c9a164c3ab32e7c8c8db08e28 authored by Lennard Gäher on 17 September 2019, 07:20:29 UTC, committed by Lennard Gäher on 17 September 2019, 07:20:29 UTC 
fix configure.sh, add hint about configure.sh to installation instructions
1 parent ccf1674
Raw File
extraction.patch 
--- gen-src/cRelationClasses.mli.orig	2019-07-18 10:50:01.000000000 -0400
+++ gen-src/cRelationClasses.mli	2019-07-18 10:49:53.000000000 -0400
@@ -104,7 +104,7 @@
 val flip_Equivalence :
   ('a1, 'a2) coq_Equivalence -> ('a1, 'a2) coq_Equivalence
 
-val eq_equivalence : ('a1, __) coq_Equivalence
+val eq_equivalence : (__, __) coq_Equivalence
 
 val iff_equivalence : (__, __) coq_Equivalence
back to top