--- a/src/HOL/Tools/SMT2/verit_proof.ML Wed Jul 30 14:03:12 2014 +0200
+++ b/src/HOL/Tools/SMT2/verit_proof.ML Wed Jul 30 14:03:13 2014 +0200
@@ -29,8 +29,6 @@
open SMTLIB2_Proof
-(* proof rules *)
-
datatype veriT_node = VeriT_Node of {
id: int,
rule: string,