--- a/src/HOL/ex/LocaleTest2.thy Sun Sep 23 21:49:31 2018 +0200
+++ b/src/HOL/ex/LocaleTest2.thy Mon Sep 24 14:30:09 2018 +0200
@@ -738,7 +738,7 @@
locale Dgrp = Dmonoid +
- assumes unit [intro, simp]: "Dmonoid.unit (( ** )) one x"
+ assumes unit [intro, simp]: "Dmonoid.unit ((**)) one x"
begin