-
Sergio Costas authored
Now ensures that, at the end of a function, there is at most one global function pointing to the same CRUST-type block
a98af1e3
Now ensures that, at the end of a function, there is at most one global function pointing to the same CRUST-type block