From 7b355ebc4965379bb693021ec8bb86943ae2264b Mon Sep 17 00:00:00 2001
From: WarmUpTill <WarmUpTill@web.de>
Date: Tue, 2 May 2023 23:14:09 +0200
Subject: [PATCH] Add type alias for NumberVariable

---
 src/utils/variable-number.hpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/utils/variable-number.hpp b/src/utils/variable-number.hpp
index 38c9ba54..c0b41884 100644
--- a/src/utils/variable-number.hpp
+++ b/src/utils/variable-number.hpp
@@ -36,4 +36,7 @@ private:
 
 #include "variable-number.tpp"
 
+using IntVariable = NumberVariable<int>;
+using DoubleVariable = NumberVariable<double>;
+
 } // namespace advss