aboutsummaryrefslogtreecommitdiffstats
path: root/lib/drl
diff options
context:
space:
mode:
Diffstat (limited to 'lib/drl')
-rw-r--r--lib/drl/sublanguage.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/drl/sublanguage.ml b/lib/drl/sublanguage.ml
index ce69b56..3496f9c 100644
--- a/lib/drl/sublanguage.ml
+++ b/lib/drl/sublanguage.ml
@@ -1,11 +1,13 @@
module Make (Storage : Management.Physical.S) = struct
module Exec = Executor.Make (Storage)
+ type configuration = unit
type storage = Storage.t
type ast = Ast.query
type error = Exec.error
let name = "drl"
+ let parse _ = Ok ()
let parse_sexp sexp =
match Parser.of_sexp sexp with