print_endline ==> prerr_endline

[helm.git] / helm / ocaml / mathql_interpreter / context.ml

diff --git a/helm/ocaml/mathql_interpreter/context.ml b/helm/ocaml/mathql_interpreter/context.ml
index c9431d1af29ad40d2b055dd1bb43e1d1026051d7..377670d1817b4813fb9ce81df0ec0cead0c3b8c8 100644 (file)
--- a/helm/ocaml/mathql_interpreter/context.ml
+++ b/helm/ocaml/mathql_interpreter/context.ml
@@ -15,16 +15,10 @@ type context = {svars: svar_context;   (* contesto delle svar *)
                 vvars: vvar_context    (* contesto delle vvar introdotte con let-in *)
                }
 
-let upd_svars c s = 
-   {svars = s; rvars = c.rvars; groups = c.groups; vvars = c.vvars}
+let upd_svars c s = {c with svars = s}
 
-let upd_rvars c s = 
-   {svars = c.svars; rvars = s; groups = c.groups; vvars = c.vvars}
+let upd_rvars c s = {c with rvars = s}
 
-let upd_groups c s = 
-   {svars = c.svars; rvars = c.rvars; groups = s; vvars = c.vvars}
+let upd_groups c s = {c with groups = s}
 
-let upd_vvars c s = 
-   {svars = c.svars; rvars = c.rvars; groups = c.groups; vvars = s}
-
-   
+let upd_vvars c s = {c with vvars = s}