simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-28 12:24:50 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

wip

Browse source
This commit is contained in:
Simon Cruanes 2016-11-02 16:16:34 +01:00
parent 33ea26c4f5
commit 42b4c00861
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/external.ml
View file

@ -115,7 +115,7 @@ module Make
let c' = match c.St.cpremise with let c' = match c.St.cpremise with
| St.Hyp | St.Lemma _ -> c | St.Hyp | St.Lemma _ -> c
| St.History ( { St.cpremise = (St.Hyp | St.Lemma _) } as d :: _) -> d | St.History ( { St.cpremise = (St.Hyp | St.Lemma _) } as d :: _) -> d
| _ -> assert false | _ -> c (* FIXME *)
in in
St.pp_dimacs fmt c' St.pp_dimacs fmt c'
in in