From 198f051369c1c37dfd2c221ab5da209f49c19216 Mon Sep 17 00:00:00 2001 From: Marius Gerbershagen Date: Sat, 15 Sep 2018 19:54:51 +0200 Subject: [PATCH] export with-restored-interrupts from mp package --- src/c/symbols_list.h | 1 + src/c/symbols_list2.h | 1 + 2 files changed, 2 insertions(+) diff --git a/src/c/symbols_list.h b/src/c/symbols_list.h index 0e5dabfc9..6ff8f00b7 100755 --- a/src/c/symbols_list.h +++ b/src/c/symbols_list.h @@ -1949,6 +1949,7 @@ cl_symbols[] = { {EXT_ "WITH-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL}, {EXT_ "WITHOUT-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL}, +{EXT_ "WITH-RESTORED-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL}, {EXT_ "WITH-LOCAL-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL}, {EXT_ "ALLOW-WITH-INTERRUPTS", MP_CONSTANT, NULL, -1, OBJNULL}, diff --git a/src/c/symbols_list2.h b/src/c/symbols_list2.h index 997d941d5..cfa17ca1b 100644 --- a/src/c/symbols_list2.h +++ b/src/c/symbols_list2.h @@ -1949,6 +1949,7 @@ cl_symbols[] = { {EXT_ "WITH-INTERRUPTS",NULL}, {EXT_ "WITHOUT-INTERRUPTS",NULL}, +{EXT_ "WITH-RESTORED-INTERRUPTS",NULL}, {EXT_ "WITH-LOCAL-INTERRUPTS",NULL}, {EXT_ "ALLOW-WITH-INTERRUPTS",NULL},