better error reporting in coreTypeToWeakType; dont use Prelude_error

[coq-hetmet.git] / src / HaskWeakToStrong.v

diff --git a/src/HaskWeakToStrong.v b/src/HaskWeakToStrong.v
index 156c2ce..d8dcf42 100644 (file)
--- a/src/HaskWeakToStrong.v
+++ b/src/HaskWeakToStrong.v
@@ -19,6 +19,7 @@ Require Import HaskWeakToCore.
 Require Import HaskStrongTypes.
 Require Import HaskStrong.
 Require Import HaskCoreVars.
 Require Import HaskStrongTypes.
 Require Import HaskStrong.
 Require Import HaskCoreVars.

+Require Import HaskCoreToWeak.

 Require Import HaskCoreTypes.
 
 Open Scope string_scope.
 Require Import HaskCoreTypes.
 
 Open Scope string_scope.