diff options
Diffstat (limited to 'lib/server.ml')
| -rw-r--r-- | lib/server.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/server.ml b/lib/server.ml index bc7dac2..d06f8e8 100644 --- a/lib/server.ml +++ b/lib/server.ml @@ -32,7 +32,7 @@ let client_read sock maxlen = (* let command = Protocol.command_of_xml_light_exn (Protocol_conv_xml.Xml_light.of_string x) in *) let Ok (commit, locations) = Relation.prepare () in let Ok (_, (Disk.Command.Read response)) = - Disk.Command.perform commit locations command + Planner.Executor.perform commit locations command in return @@ Sexplib.Sexp.to_string (Protocol.sexp_of_facts response) (* in return @@ Xml.to_string (Protocol.facts_to_xml_light response) *) (* match *) |