From 42b4c0086145dfb3748704e6fb1b4cdba5740a24 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 2 Nov 2016 16:16:34 +0100
Subject: [PATCH] wip

---
 src/core/external.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/external.ml b/src/core/external.ml
index 7a49c665..09fa446c 100644
--- a/src/core/external.ml
+++ b/src/core/external.ml
@@ -115,7 +115,7 @@ module Make
       let c' = match c.St.cpremise with
         | St.Hyp | St.Lemma _ -> c
         | St.History ( { St.cpremise = (St.Hyp | St.Lemma _) } as d :: _) -> d
-        | _ -> assert false
+        | _ -> c (* FIXME *)
       in
       St.pp_dimacs fmt c'
     in