--- a/src/Sequents/prover.ML Mon Dec 12 17:40:06 2016 +0100
+++ b/src/Sequents/prover.ML Tue Dec 13 11:51:42 2016 +0100
@@ -106,8 +106,8 @@
fun method tac =
Method.sections
- [Args.$$$ "add" -- Args.bang_colon >> K (Method.modifier safe_add @{here}),
- Args.$$$ "add" -- Args.colon >> K (Method.modifier unsafe_add @{here})]
+ [Args.$$$ "add" -- Args.bang_colon >> K (Method.modifier safe_add \<^here>),
+ Args.$$$ "add" -- Args.colon >> K (Method.modifier unsafe_add \<^here>)]
>> K (SIMPLE_METHOD' o tac);