From 72d22fefe859b707dce81efe10f376742a27119c Mon Sep 17 00:00:00 2001 From: Marcelo Taube Date: Thu, 24 Aug 2017 19:41:30 +0300 Subject: [PATCH] Make bounded expressions work with native definitions --- ivy/ivy_to_cpp.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ivy/ivy_to_cpp.py b/ivy/ivy_to_cpp.py index a2f29254c..d6b475a31 100755 --- a/ivy/ivy_to_cpp.py +++ b/ivy/ivy_to_cpp.py @@ -2468,7 +2468,7 @@ def new_temp(header,sort=None): def find_definition(sym): - for ldf in im.module.definitions: + for ldf in im.module.definitions + im.module.native_definitions: if ldf.formula.defines() == sym: return ldf return None