diff --git a/src/main/jastadd/hanoi/Realtion.jrag b/src/main/jastadd/hanoi/Relation.jrag similarity index 99% rename from src/main/jastadd/hanoi/Realtion.jrag rename to src/main/jastadd/hanoi/Relation.jrag index 86e5eb0c6f0aa721a6bc85f1dfa3696808d3315a..f6dfb7d0440e84639b5928b11536cee095ffc044 100644 --- a/src/main/jastadd/hanoi/Realtion.jrag +++ b/src/main/jastadd/hanoi/Relation.jrag @@ -19,4 +19,4 @@ aspect Relation{ eq Equal.eval(){ return this.getLeft().eval() - this.getRight().eval()==0; } -} \ No newline at end of file +}