From 60df32ffd5b88498e4634649509bbd0810421004 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Tue, 11 Jul 2023 16:25:24 +0100
Subject: Begin big unification proof.

---
 src/Data/Term/Property.idr | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/Data/Term/Property.idr')

diff --git a/src/Data/Term/Property.idr b/src/Data/Term/Property.idr
index d65d185..afec1a2 100644
--- a/src/Data/Term/Property.idr
+++ b/src/Data/Term/Property.idr
@@ -8,6 +8,8 @@ import Data.Vect.Quantifiers.Extra
 
 import Syntax.PreorderReasoning
 
+%prefix_record_projections off
+
 -- Definition ------------------------------------------------------------------
 
 public export
-- 
cgit v1.2.3