X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fcontext.ml;h=377670d1817b4813fb9ce81df0ec0cead0c3b8c8;hb=caab26f85122e0040555139c48a9111a0b2b9fff;hp=c9431d1af29ad40d2b055dd1bb43e1d1026051d7;hpb=ba824e867afc3eaf081ed1a1d6526d421242a6a0;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/context.ml b/helm/ocaml/mathql_interpreter/context.ml
index c9431d1af..377670d18 100644
--- 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}