Skip to content
Snippets Groups Projects
Commit 3ecc17d4 authored by Jan Gruteser's avatar Jan Gruteser
Browse files

fix brace

parent 563c9698
Branches
Tags
No related merge requests found
Pipeline #148684 passed
Stage: test
Stage: deploy
Show whitespace changes
Inline Side-by-side
src/main/java/de/tla2b/analysis/TypeChecker.java
+ 0
− 1
View file @ 3ecc17d4
......@@ -671,7 +671,6 @@ public class TypeChecker extends BuiltInOPs implements BBuildIns, TranslationGlo
case OPCODE_unchanged:
return BoolType.getInstance().unify(expected);
}
/*
* no TLA+ Built-ins
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment