checkgenerics.patch 584 Bytes
Newer Older
1 2
--- /frontend/checkgenerics.icl
+++ /frontend/checkgenerics.icl
3 4 5 6 7 8 9 10 11
@@ -503,7 +503,7 @@
 		= (fun,var_heap)
 
 NewEntry symbol_table symb_ptr def_kind def_index level previous :==
-	 symbol_table <:= (symb_ptr,{  ste_kind = def_kind, ste_index = def_index, ste_def_level = level, ste_previous = previous })
+	 symbol_table <:= (symb_ptr,{  ste_kind = def_kind, ste_index = def_index, ste_def_level = level, ste_previous = previous, ste_doc = No })
 
 getTypeDef :: !Index !(Global Index) !v:{#CheckedTypeDef} !w:{#DclModule}
 		-> (!CheckedTypeDef, !v:{#CheckedTypeDef}, !w:{#DclModule})