From f14256ddd4129eb0e4ed331f2fa3d84b3618f0a6 Mon Sep 17 00:00:00 2001
From: Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org>
Date: Wed, 19 Jul 2017 13:27:22 +0200
Subject: Woops, the previous commit wasn't enough.

---
 instr-scripts/id_manager.py | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'instr-scripts/id_manager.py')

diff --git a/instr-scripts/id_manager.py b/instr-scripts/id_manager.py
index a406cd6..27c1474 100644
--- a/instr-scripts/id_manager.py
+++ b/instr-scripts/id_manager.py
@@ -11,6 +11,12 @@ class Id_Manager:
         result = str(self.next_id)
         self.next_id += 1
 
+        self.output.write(
+            "(map_xml_id PURE "
+            + result
+            + ")\n"
+        )
+
         return result
 
     def generate_new_id (self, xml_id):
-- 
cgit v1.2.3-70-g09d2