Commit e25459b0 authored by MARCHE Claude's avatar MARCHE Claude
Browse files

Fixed example of use of API for sessions

parent 17c1643a
...@@ -59,7 +59,7 @@ let provers = ...@@ -59,7 +59,7 @@ let provers =
let keygen ?parent () = () let keygen ?parent () = ()
(* create an empty session in the current directory *) (* create an empty session in the current directory *)
let env_session,_ = let env_session,_,_ =
let dummy_session : unit Session.session = Session.create_session "." in let dummy_session : unit Session.session = Session.create_session "." in
Session.update_session ~keygen ~allow_obsolete:true dummy_session env config Session.update_session ~keygen ~allow_obsolete:true dummy_session env config
......
Supports Markdown
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