Updated

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@137 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Feb 26, 1998 · b1428e5 · b1428e5
1 parent d24f2bb
commit b1428e5
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/modeq/builtin.rml b/modeq/builtin.rml
@@ -8,6 +8,7 @@ module Builtin:
 end
 
 with "exp.rml"
+with "mod.rml"
 
 val rl_type = Absyn.CLASS("RealType",false,Absyn.CL_TYPE,Absyn.PARTS([]))
 val int_type = Absyn.CLASS("IntegerType",false,Absyn.CL_TYPE,Absyn.PARTS([]))
@@ -92,9 +93,9 @@ val string_type = Absyn.CLASS("String",false,Absyn.CL_TYPE,
 relation initial_env =
 
   rule	Env.new_frame(Env.empty_env) => env &
-	Env.extend_frame_c(env, rl_type) => env' &
-	Env.extend_frame_c(env', int_type) => env'' &
-	Env.extend_frame_c(env'', str_type) => env'''
+	Env.extend_frame_c(env, rl_type, Mod.NOMOD) => env' &
+	Env.extend_frame_c(env', int_type, Mod.NOMOD) => env'' &
+	Env.extend_frame_c(env'', str_type, Mod.NOMOD) => env'''
 (*	Env.extend_frame_c(env, real_type) => env'''' &
 	Env.extend_frame_c(env, integer_type) => env''''' &
 	Env.extend_frame_c(env, string_type) => env'''''' *)