Fixed timing command so that the symbol table gets updated.

git-svn-id: https://openmodelica.org/svn/OpenModelica/trunk@1288 f25d12d1-65f4-0310-ae8a-bbce733d8d8e
OpenModelica · Sep 28, 2004 · c556e18 · c556e18
1 parent 5c6cde9
commit c556e18
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/modeq/ceval.rml b/modeq/ceval.rml
@@ -927,11 +927,11 @@ relation ceval_interactive_functions: (Env.Env, Exp.Exp, Interactive.Interactive
 	  => (Values.BOOL(true),st)
 
   rule	System.time => t1 &
-	ceval(env,exp,true,SOME(st),NONE) => (value,st') &
+	ceval(env,exp,true,SOME(st),NONE) => (value,SOME(st')) &   
 	System.time => t2 &
 	real_sub(t2,t1) => time 
 	-------------------------
-	ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("timing"),[exp],_,_),st as Interactive.SYMBOLTABLE(p,sp,ic,iv,cf)) => (Values.REAL(time),st)
+	ceval_interactive_functions (env, Exp.CALL(Absyn.IDENT("timing"),[exp],_,_),st) => (Values.REAL(time),st')
 
   rule	System.set_c_compiler(str)
 	-------------------------