aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dml/sublanguage.ml
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dml/sublanguage.ml')
-rw-r--r--lib/dml/sublanguage.ml8
1 files changed, 4 insertions, 4 deletions
diff --git a/lib/dml/sublanguage.ml b/lib/dml/sublanguage.ml
index 29f951e..29b1b77 100644
--- a/lib/dml/sublanguage.ml
+++ b/lib/dml/sublanguage.ml
@@ -1,9 +1,9 @@
module Make (Storage : Management.Physical.S) = struct
- module Exec = Executor.Make(Storage)
+ module Exec = Executor.Make (Storage)
type storage = Storage.t
- type ast = Ast.statement
- type error = Exec.error
+ type ast = Ast.statement
+ type error = Exec.error
let name = "dml"
@@ -20,4 +20,4 @@ module Make (Storage : Management.Physical.S) = struct
let sexp_of_error = Exec.sexp_of_error
end
-module Memory = Make(Management.Physical.Memory)
+module Memory = Make (Management.Physical.Memory)