From 71ee3bd424410c436e40d163e0223ad2b48fc853 Mon Sep 17 00:00:00 2001
From: fennecdjay <astor.jeremie@wanadoo.fr>
Date: Wed, 9 Oct 2019 22:43:43 +0200
Subject: [PATCH] :art: Complete spid import

---
 src/lib/import.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/lib/import.c b/src/lib/import.c
index b3d33d24..756c2c45 100644
--- a/src/lib/import.c
+++ b/src/lib/import.c
@@ -723,6 +723,7 @@ ANN void gwi_specialid(const Gwi gwi, const m_str id, const SpecialId spid) {
   a->ck = spid->ck;
   a->exec = spid->exec;
   a->em = spid->em;
+  a->const = spi->is_const;
   map_set(&gwi->gwion->data->id, (vtype)insert_symbol(gwi->gwion->st, id), (vtype)a);
   gwi_reserve(gwi, id);
 }
-- 
2.43.0