mathQL.ml updated

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

diff --git a/helm/ocaml/mathql_interpreter/select.ml b/helm/ocaml/mathql_interpreter/select.ml
index 772f6964e9e71a8ba379c272a6be4b364130e609..c9680f6c37be66ded95452edab09cf4a92c2c476 100644 (file)
--- a/helm/ocaml/mathql_interpreter/select.ml
+++ b/helm/ocaml/mathql_interpreter/select.ml
@@ -48,10 +48,10 @@ let stringeval env =
   |  MQFunc (f, rvar) ->
       let {S.uri = uri} = List.assoc rvar env in
        apply_func f uri
-  |  MQSRVar rvar ->
+  |  MQStringRVar rvar ->
       let {S.uri = uri} = List.assoc rvar env in
        uri
-  |  MQSSVar svar ->
+  |  MQStringSVar svar ->
       let (_,{S.attributes = attributes}) = List.hd env in
        List.assoc svar attributes
   |  MQMConclusion ->