# HG changeset patch
# User wenzelm
# Date 1440753202 -7200
# Node ID 0e273cbec33fb3a2c31bfa55719ca8bacd394988
# Parent  f6f2959bed672f3344067b1d0396de362faa0213
tuned signature;

diff -r f6f2959bed67 -r 0e273cbec33f src/Pure/Isar/context_rules.ML
--- a/src/Pure/Isar/context_rules.ML	Fri Aug 28 11:09:26 2015 +0200
+++ b/src/Pure/Isar/context_rules.ML	Fri Aug 28 11:13:22 2015 +0200
@@ -155,8 +155,8 @@
 fun find_rules_netpair weighted facts goal (inet, enet) =
   find_erules weighted facts enet @ find_irules weighted goal inet;
 
-fun find_rules weighted facts goals =
-  map (find_rules_netpair weighted facts goals) o netpairs;
+fun find_rules weighted facts goal =
+  map (find_rules_netpair weighted facts goal) o netpairs;
 
 
 (* wrappers *)