Skip to content

Commit 14b1643

Browse files
MathewKJ2048MathewKJ2048
committed
moved strings to ast - tla+
1 parent b547b8a commit 14b1643

2 files changed

Lines changed: 1 addition & 8 deletions

File tree

‎app/src/main/java/ca/uwaterloo/watform/tlaplusast/Node.java‎

Lines changed: 0 additions & 7 deletions
This file was deleted.

app/src/main/java/ca/uwaterloo/watform/utils/TLAPlusStrings.java renamed to app/src/main/java/ca/uwaterloo/watform/tlaplusast/TLAPlusStrings.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
package ca.uwaterloo.watform.utils;
1+
package ca.uwaterloo.watform.tlaplusast;
22

33
public final class TLAPlusStrings
44
{

0 commit comments

Comments
 (0)