bottom) and we will face a macro *)
match self#grafite_status.proof_status with
Incomplete_proof p ->
- userGoal <- Some (Continuationals.Stack.find_goal p.stack)
+ userGoal <-
+ (try Some (Continuationals.Stack.find_goal p.stack)
+ with Failure _ -> None)
| _ -> userGoal <- None
method private _retract offset lexicon_status grafite_status new_statements