diff --git a/prism/src/prism/PrismLog.java b/prism/src/prism/PrismLog.java
index 5e89d339..57d81dac 100644
--- a/prism/src/prism/PrismLog.java
+++ b/prism/src/prism/PrismLog.java
@@ -27,7 +27,9 @@
 
 package prism;
 
-public abstract class PrismLog
+import java.io.Closeable;
+
+public abstract class PrismLog implements Closeable, AutoCloseable
 {
 	/**
 	 * Specifies that only more important messages should be printed