...

[bitonic-mengthesis.git] / InterimReport.agda

diff --git a/InterimReport.agda b/InterimReport.agda
index c433d59ddae1ed397a94120be55934fab6c3b7ae..839060f43bdb240e2ab9cffd928f86cce9cc1495 100644 (file)
--- a/InterimReport.agda
+++ b/InterimReport.agda
@@ -147,4 +147,4 @@ module Ext where
 
   map-#==#-map' : forall {A B C} (f : B -> C) (g : A -> B) ->
                   map (f # g) == (map f # map g)
-  map-#==#-map' f g = ext (map-#==#-map f g)
\ No newline at end of file
+  map-#==#-map' f g = ext (map-#==#-map f g)