From 80be7a9f886f3d051b58d6a550e718e37732ff42 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nuno.lopes@tecnico.ulisboa.pt>
Date: Sun, 22 Dec 2024 19:32:10 +0000
Subject: [PATCH] ooops

---
 ir/state.cpp | 2 +-
 ir/state.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/ir/state.cpp b/ir/state.cpp
index 7b8b32c80..87c2bed4a 100644
--- a/ir/state.cpp
+++ b/ir/state.cpp
@@ -736,7 +736,7 @@ bool State::startBB(const BasicBlock &bb) {
     throw_oom_exception();
 
   DisjointExpr<Memory> in_memory;
-  DisjointExpr<AndExpr> UB;
+  DisjointExpr<expr> UB;
   DisjointExpr<VarArgsData> var_args_in;
   OrExpr path;
 
diff --git a/ir/state.h b/ir/state.h
index f8b31463b..f92db7e1e 100644
--- a/ir/state.h
+++ b/ir/state.h
@@ -134,7 +134,7 @@ class State {
 
   struct BasicBlockInfo {
     smt::OrExpr path;
-    smt::DisjointExpr<smt::AndExpr> UB;
+    smt::DisjointExpr<smt::expr> UB;
     smt::DisjointExpr<Memory> mem;
     std::set<smt::expr> undef_vars;
     ValueAnalysis analysis;