]> Nishi Git Mirror - gwion.git/commitdiff
:art: Complete spid import
authorfennecdjay <astor.jeremie@wanadoo.fr>
Wed, 9 Oct 2019 20:43:43 +0000 (22:43 +0200)
committerfennecdjay <astor.jeremie@wanadoo.fr>
Wed, 9 Oct 2019 20:43:43 +0000 (22:43 +0200)
src/lib/import.c

index b3d33d24eed8d78a73c5d8f2d4a375a85ca2103c..756c2c459d079c78a369a8ac669f2a710034792c 100644 (file)
@@ -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);
 }