respect hide_internal flag
authorMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Feb 2022 09:15:22 +0000 (10:15 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Wed, 2 Feb 2022 09:15:22 +0000 (10:15 +0100)
commit990aee5531f41fdf01887870047eb924f12618b9
tree6cd825cb68408fcf3f41c5e48d92ad5e0480e155
parent169ffcd2fbd037aa1d827515af5a95a28299b832
respect hide_internal flag
passes/sat/sim.cc