From 77284f8312db978a113895cad3ea7654d0df8c72 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Mon, 18 Nov 2024 12:13:38 +0100
Subject: [PATCH] Flex scanner: replace strtok() by std::string method
---
src/DynareFlex.ll | 4 +---
1 file changed, 1 insertion(+), 3 deletions(-)
diff --git a/src/DynareFlex.ll b/src/DynareFlex.ll
index 3a526150..dbd782df 100644
--- a/src/DynareFlex.ll
+++ b/src/DynareFlex.ll
@@ -20,7 +20,6 @@
%{
-#include <cstring>
#include "ParsingDriver.hh"
using namespace std;
@@ -765,8 +764,7 @@ DATE -?[0-9]+([ya]|m([1-9]|1[0-2])|q[1-4])
<DYNARE_STATEMENT>non_zero {return token::NON_ZERO;}
<DYNARE_STATEMENT>\$[^$]*\$ {
- strtok(yytext + 1, "$");
- yylval->emplace<string>(yytext + 1);
+ yylval->emplace<string>(yytext + 1).pop_back();
return token::TEX_NAME;
}
--
GitLab