diff --git a/src/main/jastadd/hanoi/ConstraintsEvalForDouble.jrag b/src/main/jastadd/hanoi/ConstraintsEvalForDouble.jrag index 4d271a4ca9e7db151900700fb8830da5d59f4b63..2dd7f901f5a414f25c48da396ab3a5bc376c3f6f 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(){