| changeset 57229 | 489083abce44 |
| parent 57210 | 5d61d875076a |
| child 57236 | 2eb14982cd29 |
--- a/src/HOL/Tools/SMT2/smt2_systems.ML Thu Jun 12 01:00:49 2014 +0200 +++ b/src/HOL/Tools/SMT2/smt2_systems.ML Thu Jun 12 01:00:49 2014 +0200 @@ -12,7 +12,7 @@ Z3_Non_Commercial_Declined val z3_non_commercial: unit -> z3_non_commercial val z3_extensions: bool Config.T -end +end; structure SMT2_Systems: SMT2_SYSTEMS = struct @@ -155,4 +155,4 @@ SMT2_Solver.add_solver yices #> SMT2_Solver.add_solver z3) -end +end;