-
acholewa authored
Fixed a bug where the global variables used in the attack statements in the Maude file were being duplicated, and the duplicates weren't being eliminated properly for some reason.
c02a13db
Fixed a bug where the global variables used in the attack statements in the Maude file were being duplicated, and the duplicates weren't being eliminated properly for some reason.