From 55d35e5521d9232178f2d20fe7bca92138aee37d Mon Sep 17 00:00:00 2001
From: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
Date: Mon, 1 Nov 2021 21:45:38 +0100
Subject: [PATCH] Drop TLA+ from dev-env (#11492)

Our build definitely does not depend on it. If people need it for
something else they can get it from somewhere else.

changelog_begin
changelog_end
---
 dev-env/bin/tlc2 | 1 -
 nix/default.nix  | 3 ---
 2 files changed, 4 deletions(-)
 delete mode 120000 dev-env/bin/tlc2

diff --git a/dev-env/bin/tlc2 b/dev-env/bin/tlc2
deleted file mode 120000
index 943ba2d88c97..000000000000
--- a/dev-env/bin/tlc2
+++ /dev/null
@@ -1 +0,0 @@
-../lib/dade-exec-nix-tool
\ No newline at end of file
diff --git a/nix/default.nix b/nix/default.nix
index f84f46b8f6eb..c7d89b8af5c8 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -61,9 +61,6 @@ in rec {
     # for the upstream issue.
     cc = bazel_dependencies.bazel-cc-toolchain;
 
-    # TLA+ with the command-line model checker TLC
-    tlc2            = pkgs.tlaplus;
-
     mvn = bazel_dependencies.mvn;
 
     zinc = pkgs.callPackage ./tools/zinc {};