From f52b02b638da848c952d181062d99358bee99c34 Mon Sep 17 00:00:00 2001
From: Zeno Rogue <zeno@attnam.com>
Date: Sun, 3 Oct 2021 18:07:32 +0200
Subject: [PATCH] intra:: be more careful in infinite spaces

---
 intra.cpp | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/intra.cpp b/intra.cpp
index 0464074f..99f9637d 100644
--- a/intra.cpp
+++ b/intra.cpp
@@ -295,6 +295,19 @@ EX void start(int id IS(0)) {
   current = id;
   data[current].gd.restoregame();
   ginf[gProduct] = data[current].gi;
+
+  again:
+  int missing = 0;
+  for(auto p: intra_id)
+    for(int i=0; i<p.first->type; i++) {
+      cell *c1 = p.first->move(i);
+      if(!c1) continue;
+      if(intra_id.count(c1) == 0) {
+        intra_id[c1] = p.second;
+        missing++;
+        }
+      }
+  if(missing) goto again;
   }
 
 #if HDR