From bdd594093b4fb7e46a6cae0135b6630d75bae6f6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 7 Sep 2017 23:45:26 +0200
Subject: Fix coq/ltac2#22: Argument to Tactic_failure should be printed.

We implement a printer for toplevel values and use it for exceptions in
particular.
---
 src/ltac2_plugin.mlpack | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ltac2_plugin.mlpack')

diff --git a/src/ltac2_plugin.mlpack b/src/ltac2_plugin.mlpack
index 00ba5bc58e..70f97b9d1e 100644
--- a/src/ltac2_plugin.mlpack
+++ b/src/ltac2_plugin.mlpack
@@ -1,8 +1,8 @@
 Tac2dyn
 Tac2env
+Tac2ffi
 Tac2print
 Tac2intern
-Tac2ffi
 Tac2interp
 Tac2entries
 Tac2quote
-- 
cgit v1.2.3