From 27413a58e0ac937614ba6c6e88e1d85d0e526e49 Mon Sep 17 00:00:00 2001
From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Wed, 2 May 2018 17:18:30 -0700
Subject: [PATCH 1/1] Bug fix for cloning ...

---
 src/AST/element.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/AST/element.cc b/src/AST/element.cc
index d09db20..565187a 100644
--- a/src/AST/element.cc
+++ b/src/AST/element.cc
@@ -52,7 +52,8 @@ Element *ElementFunction::clone(CSolver *solver, CloneMap *map) {
 	for (uint i = 0; i < inputs.getSize(); i++) {
 		array[i] = inputs.get(i)->clone(solver, map);
 	}
-	Element *e = solver->applyFunction(function->clone(solver, map), array, inputs.getSize(), overflowstatus->clone(solver, map));
+	BooleanEdge ofstatus = overflowstatus ? cloneEdge(solver, map, overflowstatus) : BooleanEdge();
+	Element *e = solver->applyFunction(function->clone(solver, map), array, inputs.getSize(), ofstatus);
 	return e;
 }
 
-- 
2.34.1