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 30346f344ef474958b917f147c618d98deb13633..4104c42e7bcbea26f968cc7d5a7612af10cf4c94 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;
 
 
 import gov.nasa.jpf.util.test.TestJPF;