From 890039d7dac42200ea280177d0dfba4792f30d93 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Wed, 12 Jul 2023 14:44:40 +0100
Subject: Add constructor for signature.

---
 src/Data/Term.idr | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Data')

diff --git a/src/Data/Term.idr b/src/Data/Term.idr
index b65859e..01de5d2 100644
--- a/src/Data/Term.idr
+++ b/src/Data/Term.idr
@@ -12,6 +12,7 @@ import Syntax.PreorderReasoning
 
 public export
 record Signature where
+  constructor MkSignature
   Operator : Nat -> Type
 
 %name Signature sig
-- 
cgit v1.2.3