From 699a29830649b3ee1f7ad81342944ef201582947 Mon Sep 17 00:00:00 2001
From: l-kent <l.kent@uq.edu.au>
Date: Mon, 16 Sep 2024 12:39:51 +1000
Subject: [PATCH] minor fix

---
 src/test/scala/ParamAnalysisTests.scala | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/test/scala/ParamAnalysisTests.scala b/src/test/scala/ParamAnalysisTests.scala
index 823642ec8..69becd36a 100644
--- a/src/test/scala/ParamAnalysisTests.scala
+++ b/src/test/scala/ParamAnalysisTests.scala
@@ -4,7 +4,7 @@ import org.scalatest.funsuite.AnyFunSuite
 import test_util.BASILTest
 import util.{BASILResult, StaticAnalysisConfig}
 
-class ParamAnalysisTests extends AnyFunSuite, BASILTest {
+class ParamAnalysisTests extends BASILTest {
   private val correctPath = "./src/test/correct/"
 
   def runExample(name: String): BASILResult = {
@@ -66,8 +66,7 @@ class ParamAnalysisTests extends AnyFunSuite, BASILTest {
     assert(analysisResults(procs("main")) == Set.empty)
     assert(analysisResults(procs("plus_one")) == Set(R0))
   }
-
-
+  
   test("initialisation") {
     val result: BASILResult = runExample("initialisation")
     val analysisResults = result.analysis.get.paramResults