Fix issue #186: package name (thanks to Marvinmw for the report).

	modified:   src/tests/gov/nasa/jpf/test/basic/ConsolePublisherTest.java

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 (file)
--- 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;