From: Cyrille Artho <artho@kth.se>
Date: Fri, 3 May 2019 12:19:36 +0000 (+0200)
Subject: Fix issue #186: package name (thanks to Marvinmw for the report).
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=jpf-core.git;a=commitdiff_plain;h=1c956392f5f716dc916efb28a2b6b979e1bbd01c

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
--- 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;