From cad643c46f791ad692df3eee35cbd3cbcdd8da04 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Thu, 27 Aug 2015 13:08:58 +0200
Subject: [PATCH] Remove var from case class fields
---
testcases/verification/graph/SortedNDList.scala | 2 +-
.../verification/graph/dijkstras/DijkstrasSortedList.scala | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/testcases/verification/graph/SortedNDList.scala b/testcases/verification/graph/SortedNDList.scala
index 42a16cfbd..a6f5e1163 100644
--- a/testcases/verification/graph/SortedNDList.scala
+++ b/testcases/verification/graph/SortedNDList.scala
@@ -10,7 +10,7 @@ object SortedNDList {
* values must be unique and non-negative.
*/
abstract class SortedNDList
- case class ListNode(val node : Int, val dist : Int, var next : SortedNDList) extends SortedNDList
+ case class ListNode(node: Int, dist: Int, next: SortedNDList) extends SortedNDList
case class ListEnd() extends SortedNDList
/** List invariant (see description above) */
diff --git a/testcases/verification/graph/dijkstras/DijkstrasSortedList.scala b/testcases/verification/graph/dijkstras/DijkstrasSortedList.scala
index 20461a256..4ac5d863e 100644
--- a/testcases/verification/graph/dijkstras/DijkstrasSortedList.scala
+++ b/testcases/verification/graph/dijkstras/DijkstrasSortedList.scala
@@ -74,7 +74,7 @@ object DijkstrasSortedList {
* values must be unique and non-negative.
*/
abstract class SortedNDList
- case class ListNode(val node : Int, val dist : Int, var next : SortedNDList) extends SortedNDList
+ case class ListNode(node : Int, dist : Int, next : SortedNDList) extends SortedNDList
case class ListEnd() extends SortedNDList
/** List invariant (see description above) */
--
GitLab