removing TLAPS module from Majority

Signed-off-by: merz <[email protected]>
tlaplus · Sep 5, 2023 · 08bc7a7 · 08bc7a7
1 parent 9ba8456
commit 08bc7a7
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 420 deletions.
diff --git a/manifest.json b/manifest.json
@@ -3709,15 +3709,6 @@
       ],
       "tags": ["beginner"],
       "modules": [
-        {
-          "path": "specifications/Majority/TLAPS.tla",
-          "communityDependencies": [],
-          "tlaLanguageVersion": 2,
-          "features": [
-            "proof"
-          ],
-          "models": []
-        },
         {
           "path": "specifications/Majority/Majority.tla",
           "communityDependencies": [],