MQueryUtil 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 1e53a4ba408a53339a328f12495f893bcc6e8507..7c7d7f2a7bbaf8ece53c2171c05569c38a9b86b4 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
-  |  MQRVar rvar ->
+  |  MQSRVar rvar ->
       let {S.uri = uri} = List.assoc rvar env in
        uri
-  |  MQSVar svar ->
+  |  MQSSVar svar ->
       let (_,{S.attributes = attributes}) = List.hd env in
        List.assoc svar attributes
   |  MQMConclusion ->