simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-09 04:35:35 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

wip

Browse source
This commit is contained in:
Simon Cruanes 2020-09-08 22:20:03 -04:00
parent aff2e29a6b
commit f59a5d9fce
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/smtlib/Process.ml
View file

@ -307,9 +307,7 @@ module Th_lra = Sidekick_lra.Make(struct
module T = S.T.Term
type term = S.T.Term.t
let view_as_lra _ = assert false (* TODO *)
let mk_lra _ = assert false
include Lra
module Gensym = struct
type t = {