From 1c956392f5f716dc916efb28a2b6b979e1bbd01c Mon Sep 17 00:00:00 2001 From: Cyrille Artho Date: Fri, 3 May 2019 14:19:36 +0200 Subject: [PATCH 1/1] Fix issue #186: package name (thanks to Marvinmw for the report). modified: src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java --- src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java b/src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java index 30346f3..4104c42 100644 --- a/src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java +++ b/src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java @@ -1,4 +1,4 @@ -package gov.nasa.jpf.report; +package gov.nasa.jpf.test.basic; import gov.nasa.jpf.util.test.TestJPF; -- 2.34.1