From 2821bee77b8f636ceb30b2f42a1f097ab71f88fc Mon Sep 17 00:00:00 2001
From: MichelJuillard <michel.juillard@mjui.fr>
Date: Mon, 14 Nov 2022 18:38:17 +0100
Subject: [PATCH] fix previous commit

---
 src/DataTree.hh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/DataTree.hh b/src/DataTree.hh
index adbd717e..fca1ec6a 100644
--- a/src/DataTree.hh
+++ b/src/DataTree.hh
@@ -153,7 +153,7 @@ public:
   {
   public:
     string name;
-    LocalVariableException(str name_arg) : name(name_arg) {}
+    LocalVariableException(string name_arg) : name(name_arg) {}
   };
 
   class DivisionByZeroException
-- 
GitLab