Commit 66d85909 authored by POGODALLA Sylvain's avatar POGODALLA Sylvain

Changes the output message when the 'query' command is run. Fixes #18

parent da350e79
......@@ -137,7 +137,8 @@ let wait = Unix.sleep
let _ =
let () = Log.set_level ~app:"acg" Logs.Warning in
let () = Log.set_level ~app:"acg" Logs.Warning in
(*let () = Log.set_level ~app:"acg" Logs.Debug in *)
(*
let c = Mtime_clock.counter () in
Logs.info (fun m -> m "Starting run");
......
......@@ -704,8 +704,8 @@ module Functions =
| None -> ()
| Some (obj_t,abs_ty) ->
let () = Logs.app (fun m -> m
"The datalog program (intensional database) corresponding to the lexicon \"%s\" is:"
(fst (Env.Lexicon.name lex))) in
"The datalog program (extensional database) corresponding to the query \"%s\" is:"
data) in
Env.Lexicon.query_to_log Logs.default Logs.App obj_t abs_ty lex
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment