removed the old module BMC.tla

josef-widder · Aug 3, 2020 · 077ac66 · 077ac66
1 parent 04506ed
commit 077ac66
Showing 1 changed file with 0 additions and 24 deletions.
diff --git a/tlair/src/main/resources/BMC.tla b/tlair/src/main/resources/BMC.tla