File 0001-Load-facts-from-usr-share-exorsim.patch of Package exorsim

From 9b9ac58e60f424149906c19b90e907a37ecf0a3c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Klaus=20K=C3=A4mpf?= <kkaempf@gmail.com>
Date: Sat, 15 Jul 2023 13:30:34 +0200
Subject: [PATCH 1/3] Load facts from /usr/share/exorsim
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Klaus Kämpf <kkaempf@gmail.com>
---
 exor.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/exor.c b/exor.c
index 7603829..ddea820 100644
--- a/exor.c
+++ b/exor.c
@@ -948,7 +948,7 @@ int main(int argc, char *argv[])
         int gotox = 0;
         mon_out = stdout;
         mon_in = stdin;
-        char *facts_name = "facts";
+        char *facts_name = "/usr/share/exorsim/facts";
         char *lpt_name = "listing.lp";
         int lpt_append = 1;
         for (x = 1; x != argc; ++x) {
-- 
2.41.0