Commit 9226102c authored by MARCHE Claude's avatar MARCHE Claude

fix compilation bug

parent 75260968
......@@ -83,7 +83,7 @@ let read_update_session ~allow_obsolete env config fname =
S.keygen = fun ?parent:_ _ -> ();
}
in
Session.update_session ~ctxt ~keygen session env config
Session.update_session ~ctxt session env config
(** filter *)
type filter_prover =
......
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