From 850a43447d559493ccb0467c49e6c2fde510f560 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Fri, 25 May 2018 11:13:55 +0200
Subject: Seeked variables' types are indeed used...

---
 src/hastabel/PropertyParser.g4 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/hastabel/PropertyParser.g4 b/src/hastabel/PropertyParser.g4
index 5e2ef50..993467d 100644
--- a/src/hastabel/PropertyParser.g4
+++ b/src/hastabel/PropertyParser.g4
@@ -73,6 +73,8 @@ tag_item:
          WORLD.invalidate();
       }
 
+      t.mark_as_used();
+
       if (WORLD.get_variables_manager().seek(t, ($var.text)) == null)
       {
          WORLD.invalidate();
-- 
cgit v1.2.3-70-g09d2