From 27182a5abb94480f41f4a8b9b93d9c0c5bb1e6d1 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 9 Feb 2025 10:35:24 +0000
Subject: [PATCH] Update constant.cpp

---
 ir/constant.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ir/constant.cpp b/ir/constant.cpp
index fe099c8a7..5a3dee67c 100644
--- 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;