From 2a0a48834f0b90319e56ae9f4a172fe6855583c0 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 1 Sep 2017 00:19:33 +0200
Subject: Passing an optional message to Tactic_failure.

---
 tests/errors.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tests')

diff --git a/tests/errors.v b/tests/errors.v
index e7beff3420..c677f6af5d 100644
--- a/tests/errors.v
+++ b/tests/errors.v
@@ -7,6 +7,6 @@ let x := Control.plus
   (fun e => match e with Not_found => 1 | _ => 2 end) in
 match Int.equal x 2 with
 | true => ()
-| false => Control.throw Tactic_failure
+| false => Control.throw (Tactic_failure None)
 end.
 Abort.
-- 
cgit v1.2.3