From c1597ee1b7e271d744e9460fccef2a46804e9ccf Mon Sep 17 00:00:00 2001
From: Dmitrii Kovanikov <kovanikov@gmail.com>
Date: Tue, 28 Feb 2023 19:12:59 +0000
Subject: [PATCH] Add Paths_iris to autogen-modules in tests

---
 iris.cabal | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/iris.cabal b/iris.cabal
index d31d4c3..0770b06 100644
--- a/iris.cabal
+++ b/iris.cabal
@@ -110,6 +110,9 @@ test-suite iris-test
   hs-source-dirs:      test
   main-is:             Spec.hs
 
+  autogen-modules:
+    Paths_iris
+
   other-modules:
     Paths_iris
     Test.Iris