Update constant.cpp

AliveToolkit · Feb 9, 2025 · 27182a5 · 27182a5
1 parent ccd7334
commit 27182a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ir/constant.cpp b/ir/constant.cpp
@@ -12,7 +12,7 @@
 #include <iomanip>
 #include <sstream>
 
-using namespace st;
+using namespace smt;
 using namespace std;
 using namespace util;