From 6a94cfb274e3dd50f6c144d52383972d93c01e48 Mon Sep 17 00:00:00 2001
From: Yingjian Wang <yingjian.wang@mailbox.tu-dresden.de>
Date: Wed, 19 Jan 2022 00:43:40 +0100
Subject: [PATCH] Update ConstraintsEvalForDouble.jrag
---
src/main/jastadd/hanoi/ConstraintsEvalForDouble.jrag | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/jastadd/hanoi/ConstraintsEvalForDouble.jrag b/src/main/jastadd/hanoi/ConstraintsEvalForDouble.jrag
index 4d271a4..2dd7f90 100644
--- a/src/main/jastadd/hanoi/ConstraintsEvalForDouble.jrag
+++ b/src/main/jastadd/hanoi/ConstraintsEvalForDouble.jrag
@@ -104,7 +104,7 @@ aspect Connectives{
//if the pillar is not empty, check if the top disk has size 1
return this.getRel().getDisk(this.getRel().getNumDisk()-1).getSize();
}else{
- return -1.0;//no disk, the number is invalid, return -1
+ return -1;//no disk, the number is invalid, return -1
}
}
eq Term2.evalDouble(){
--
GitLab