--- a/Nominal/nominal_basics.ML	Tue Mar 22 12:18:30 2016 +0000
+++ b/Nominal/nominal_basics.ML	Thu Apr 19 13:57:17 2018 +0100
@@ -222,4 +222,4 @@
 
 end (* structure *)
 
-open Nominal_Basic;
\ No newline at end of file
+open Nominal_Basic;