Commit b0e89696 authored by dlenev@mockturtle.local's avatar dlenev@mockturtle.local
Browse files

Fixed test-case after merge (removed duplicate part).

parent a4ee7ec1
Loading
Loading
Loading
Loading
+0 −11
Original line number Diff line number Diff line
@@ -6319,17 +6319,6 @@ call bug21416()|
drop procedure bug21416|


#
# BUG#21416: SP: Recursion level higher than zero needed for non-recursive call
#
--disable_warnings
drop procedure if exists bug21416|
--enable_warnings
create procedure bug21416() show create procedure bug21416|
call bug21416()|
drop procedure bug21416|


#
# BUG#21414: SP: Procedure undroppable, to some extent
#