From bff4add0997f0a5885088b4fd356950f14a2bb21 Mon Sep 17 00:00:00 2001
From: Bretton <qsctr@users.noreply.github.com>
Date: Tue, 8 Aug 2023 17:42:35 -0700
Subject: [PATCH] Fix tests/issues/issue1455/Inst1.cry

---
 tests/issues/issue1455/Inst1.cry | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/issues/issue1455/Inst1.cry b/tests/issues/issue1455/Inst1.cry
index ac0e3fc03..e86afd8c4 100644
--- a/tests/issues/issue1455/Inst1.cry
+++ b/tests/issues/issue1455/Inst1.cry
@@ -1 +1 @@
-module Inst = F { M }
+module Inst1 = F { M }