diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/monads.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/proofs/monads.ml b/proofs/monads.ml index 1337931b11..78a79909ed 100644 --- a/proofs/monads.ml +++ b/proofs/monads.ml @@ -166,7 +166,9 @@ end = struct (* spiwack: I cannot be sure right now, but [anomaly] shouldn't be reachable. If it is reachable there may be some redesign to be done around success continuations. *) - let anomaly = Errors.Anomaly ("Monads.Logic(T).split", Pp.str"[fk] should ignore this error") in + let anomaly = Errors.make_anomaly ~label:"Monads.Logic(T).split" + (Pp.str "[fk] should ignore this error") + in let fk e = T.return (Util.Inr e) in let sk a fk = T.return (Util.Inl (a,bind (lift (fk anomaly)) reflect)) in lift (x.go sk fk) |