From 182003d0eebfca9b6b4ffc2fb1244c2e6f9e6e00 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 26 Apr 2007 21:49:09 +0000
Subject: [PATCH] Preprocessor errors should go to stderr not stdout.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@319 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/Preprocessor.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/prism/Preprocessor.java b/prism/src/prism/Preprocessor.java
index dd6e38b6..3b875b05 100644
--- a/prism/src/prism/Preprocessor.java
+++ b/prism/src/prism/Preprocessor.java
@@ -427,7 +427,7 @@ public class Preprocessor
 			}
 		}
 		catch (PrismException e) {
-			System.out.println("Error: " + e.getMessage());
+			System.err.println("Error: " + e.getMessage());
 		}
 	}
 }