X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=src%2FHaskCoreVars.v;h=a55c09b187a9aceaa75451bd66f5bb9660b8c6bf;hp=be64e5b44634400dac3d5b5db8a105de8fb3aa32;hb=5a0761840d89b82cdacb0bf9215fd41aba847b68;hpb=a5cc4e8d9bbdb4b462de09a221f958bf3020895e

diff --git a/src/HaskCoreVars.v b/src/HaskCoreVars.v
index be64e5b..a55c09b 100644
--- a/src/HaskCoreVars.v
+++ b/src/HaskCoreVars.v
@@ -13,6 +13,6 @@ Variable coreVar_eq       : forall (a b:CoreVar), sumbool (a=b) (not (a=b)).
 Axiom    coreVar_eq_refl  : forall v, (coreVar_eq v v) = (left _ (refl_equal v)).
 Instance CoreVarEqDecidable : EqDecidable CoreVar :=
 { eqd_dec            := coreVar_eq
-; eqd_dec_reflexive  := coreVar_eq_refl
+(*; eqd_dec_reflexive  := coreVar_eq_refl*)
 }.