From 47066e84e84f6bd7a2b8c6e5f91ba46add38417d Mon Sep 17 00:00:00 2001
From: Aleksandra Wolska <wcqaguxa@gmail.com>
Date: Mon, 16 Oct 2023 18:43:27 +0200
Subject: [PATCH] layout fix

---
 tutorials/example-basics/example-basics.agda-lib | 2 +-
 tutorials/example-proofs/example-proofs.agda-lib | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tutorials/example-basics/example-basics.agda-lib b/tutorials/example-basics/example-basics.agda-lib
index 762f96ab..d7ee489e 100644
--- a/tutorials/example-basics/example-basics.agda-lib
+++ b/tutorials/example-basics/example-basics.agda-lib
@@ -1,4 +1,4 @@
 name: example-basics
 include: . 
 depend: agda2hs
-flags: --erasure
\ No newline at end of file
+flags: --erasure
diff --git a/tutorials/example-proofs/example-proofs.agda-lib b/tutorials/example-proofs/example-proofs.agda-lib
index 44e79fff..11d21929 100644
--- a/tutorials/example-proofs/example-proofs.agda-lib
+++ b/tutorials/example-proofs/example-proofs.agda-lib
@@ -1,4 +1,4 @@
 name: example-proofs
 include: . 
 depend: agda2hs, standard-library
-flags: --erasure
\ No newline at end of file
+flags: --erasure