From d4f9e5683c45f9a92f82a380a1cf8e276a884635 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Fri, 25 Nov 2022 15:34:35 +0000
Subject: refactor: fix missing newline.

---
 src/Soat/FirstOrder/Term.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/Soat/FirstOrder/Term.idr b/src/Soat/FirstOrder/Term.idr
index e39e7ac..be6ab86 100644
--- a/src/Soat/FirstOrder/Term.idr
+++ b/src/Soat/FirstOrder/Term.idr
@@ -199,4 +199,4 @@ bindsUnique env f cong ts =
     (bindsUnique' f (bindHomo env) cong ts) $
   pwReflexive (\i => (a.algebra.equivalence i).refl) $
   sym $
-  bindTermsIsMap {a = a.raw} env.func ts
\ No newline at end of file
+  bindTermsIsMap {a = a.raw} env.func ts
-- 
cgit v1.2.3