X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=src%2FGeneral.v;h=100da7534316f51ffb2d969c364a873e23bd6809;hb=f788a2864edbc5ba1ffb7ae5632fc3290f8febf1;hp=7e0af438ef4197e432ef9fb55615e239082b8240;hpb=132fd8b8ed861301b0ed38d286770003ea18396b;p=coq-hetmet.git

diff --git a/src/General.v b/src/General.v
index 7e0af43..100da75 100644
--- a/src/General.v
+++ b/src/General.v
@@ -717,3 +717,7 @@ Lemma list2vecOrFail {T}(l:list T)(n:nat)(error_message:nat->nat->string) : ???(
     Defined.
 
 
+
+
+
+Variable Prelude_error : forall {A}, string -> A.   Extract Inlined Constant Prelude_error => "Prelude.error".