Declare lib/tla2tools.jar a dependency to be able to implement TLC mo…

…dule overrides when the tla2tools project from github.com/tlaplus/tlaplus is *not* present.
tlaplus · Sep 4, 2019 · 765f743 · 765f743
1 parent c0cb313
commit 765f743
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.classpath b/.classpath
@@ -1,11 +1,12 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <classpath>
 	<classpathentry kind="src" path="modules"/>
+	<classpathentry combineaccessrules="false" kind="src" path="/tlatools"/>
 	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER">
 		<attributes>
 			<attribute name="module" value="true"/>
 		</attributes>
 	</classpathentry>
-	<classpathentry combineaccessrules="false" kind="src" path="/tlatools"/>
+	<classpathentry kind="lib" path="lib/tla2tools.jar"/>
 	<classpathentry kind="output" path="build"/>
 </classpath>