From b6c01ea4e538cdd3d92f6ca2543e8ea95d542344 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Tue, 15 Apr 2014 11:36:37 +0100
Subject: Put conditional path information into constraint gathering so that
 checking uses appropriate information gleaned from pattern matching

---
 src/initial_check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/initial_check.ml')

diff --git a/src/initial_check.ml b/src/initial_check.ml
index 709eb42b..9f1d46d2 100644
--- a/src/initial_check.ml
+++ b/src/initial_check.ml
@@ -676,7 +676,7 @@ let to_ast (default_names : Nameset.t) (kind_env : kind Envmap.t) (typ_env : tan
   List.iter 
     (fun (id,(d,k)) -> 
       (match !d with
-      | (d,false) -> typ_error Unknown "Scattered definition never ended" (Some id) None None
+      | (d,false) -> typ_error Parse_ast.Unknown "Scattered definition never ended" (Some id) None None
       | (_, true) -> ()))
     partial_defs;
   (Defs defs),k_env
-- 
cgit v1.2.3