(*CSC: Wrong: [] is just plainly wrong *)
uri,
(Cic.CurrentProof (UriManager.name_of_uri uri, metasenv, bo, ty, []))
(*CSC: Wrong: [] is just plainly wrong *)
uri,
(Cic.CurrentProof (UriManager.name_of_uri uri, metasenv, bo, ty, []))
module InvokeTactics' = InvokeTactics.Make (InvokeTacticsCallbacks);;
(* Just to initialize the Hbugs module *)
module InvokeTactics' = InvokeTactics.Make (InvokeTacticsCallbacks);;
(* Just to initialize the Hbugs module *)