summarylogtreecommitdiffstats
path: root/tlc
diff options
context:
space:
mode:
Diffstat (limited to 'tlc')
-rwxr-xr-xtlc2
1 files changed, 1 insertions, 1 deletions
diff --git a/tlc b/tlc
index ad6519602b15..f937d6773343 100755
--- a/tlc
+++ b/tlc
@@ -1,2 +1,2 @@
#!/bin/sh
-exec java -classpath /usr/share/java/tla2tools.jar tlc2.TLC "$@"
+exec tla-tools tlc2.TLC "$@"