# HG changeset patch
# User wenzelm
# Date 1566034769 -7200
# Node ID 36e41783bb6e5e87eba98123b3c7bac25947f2c2
# Parent  5d6e9c65ea6779a209299a70c0e7b1da57a9cfb4
unused;

diff -r 5d6e9c65ea67 -r 36e41783bb6e src/Pure/thm.ML
--- a/src/Pure/thm.ML	Sat Aug 17 11:23:20 2019 +0200
+++ b/src/Pure/thm.ML	Sat Aug 17 11:39:29 2019 +0200
@@ -475,7 +475,6 @@
 
 val maxidx_of = #maxidx o rep_thm;
 fun maxidx_thm th i = Int.max (maxidx_of th, i);
-val constraints_of = #constraints o rep_thm;
 val shyps_of = #shyps o rep_thm;
 val hyps_of = #hyps o rep_thm;
 val prop_of = #prop o rep_thm;