X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FmQueryInterpreter.mli;h=481c5c31542fc29c01ad24e4a6dca9cb6a6a258c;hb=a48c5f0f412bbb8c1d6601dd5e11e5c3746f11d5;hp=9d7081fffedf8b3fcfc6a6c905eb63091ff2eb86;hpb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;p=helm.git diff --git a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli b/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli index 9d7081fff..481c5c315 100644 --- a/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli +++ b/helm/ocaml/mathql_interpreter/mQueryInterpreter.mli @@ -23,7 +23,4 @@ * http://cs.unibo.it/helm/. *) -(* AUTOR: Ferruccio Guidi - *) - val execute : MQIConn.handle -> MathQL.query -> MathQL.result