--- a/src/HOL/Nominal/Examples/VC_Condition.thy Tue Feb 23 15:37:18 2016 +0100
+++ b/src/HOL/Nominal/Examples/VC_Condition.thy Tue Feb 23 16:25:08 2016 +0100
@@ -207,4 +207,4 @@
is in general an unsound reasoning principle.
*}
-end
\ No newline at end of file
+end