aboutsummaryrefslogtreecommitdiff
path: root/src/inpla.y
diff options
context:
space:
mode:
Diffstat (limited to 'src/inpla.y')
-rw-r--r--src/inpla.y10
1 files changed, 6 insertions, 4 deletions
diff --git a/src/inpla.y b/src/inpla.y
index 26ffe63..27ad535 100644
--- a/src/inpla.y
+++ b/src/inpla.y
@@ -22,8 +22,8 @@
// ----------------------------------------------
-#define VERSION "0.11.2"
-#define BUILT_DATE "16 Feb 2024"
+#define VERSION "0.11.3"
+#define BUILT_DATE "29 Feb 2024"
// ------------------------------------------------------------------
@@ -7803,12 +7803,14 @@ int set_metaR(Ast *ast) {
}
void set_metaL_as_IntName(Ast *ast) {
- CmEnv_set_symbol_as_meta(ast->left->sym, CmEnv.reg_agentL, NB_INTVAR);
+ // CmEnv_set_symbol_as_meta(ast->left->sym, CmEnv.reg_agentL, NB_INTVAR);
+ CmEnv_set_symbol_as_meta(ast->left->sym, VM_OFFSET_ANNOTATE_L, NB_INTVAR);
}
void set_metaR_as_IntName(Ast *ast) {
- CmEnv_set_symbol_as_meta(ast->left->sym, CmEnv.reg_agentR, NB_INTVAR);
+ // CmEnv_set_symbol_as_meta(ast->left->sym, CmEnv.reg_agentR, NB_INTVAR);
+ CmEnv_set_symbol_as_meta(ast->left->sym, VM_OFFSET_ANNOTATE_L, NB_INTVAR);
}