From 40b0b4c85f1357e282e5954f77cd56c78494fd48 Mon Sep 17 00:00:00 2001
From: Yingjian Wang <yingjian.wang@mailbox.tu-dresden.de>
Date: Fri, 28 Jan 2022 12:07:23 +0100
Subject: [PATCH] Update Relation.jrag
---
src/main/jastadd/hanoi/{Realtion.jrag => Relation.jrag} | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
rename src/main/jastadd/hanoi/{Realtion.jrag => Relation.jrag} (99%)
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 86e5eb0..f6dfb7d 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
+}
--
GitLab