From 613435de496dc1524c7b9eca08fc04c53cf87d2b Mon Sep 17 00:00:00 2001
From: Jakob Schneider <60233376+jaschdoc@users.noreply.github.com>
Date: Tue, 17 Jun 2025 14:02:15 +0200
Subject: [PATCH] update predicate with arity

---
 src/page/Home.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/page/Home.js b/src/page/Home.js
index 8422d2c..d09d64d 100644
--- a/src/page/Home.js
+++ b/src/page/Home.js
@@ -755,7 +755,7 @@ def main(): Unit \\ IO =
 
                                     <InlineEditor>
                                         {`def reachable(g: List[(String, Int32, String)], minSpeed: Int32): List[(String, String)] =
-    let facts = inject g into Road;
+    let facts = inject g into Road/3;
     let rules = #{
         Path(x, y) :- Road(x, maxSpeed, y), if maxSpeed >= minSpeed.
         Path(x, z) :- Path(x, y), Road(y, maxSpeed, z), if maxSpeed >= minSpeed.