# HG changeset patch
# User Jaroslav Tulach <jaroslav.tulach@oracle.com>
# Date 1438783135 -7200
# Node ID b960accdd9b5c0fd98ac53f5738adec6d3bd3ba4
# Parent  db705e8b5a35dbfec90daee41d5c51bcbf872e65
No instances of TruffleOptions

diff -r db705e8b5a35 -r b960accdd9b5 truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/TruffleOptions.java
--- a/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/TruffleOptions.java	Wed Aug 05 14:35:38 2015 +0200
+++ b/truffle/com.oracle.truffle.api/src/com/oracle/truffle/api/TruffleOptions.java	Wed Aug 05 15:58:55 2015 +0200
@@ -31,7 +31,9 @@
 /**
  * Class containing general Truffle options.
  */
-public class TruffleOptions {
+public final class TruffleOptions {
+    private TruffleOptions() {
+    }
 
     /**
      * Force truffle to run in interpreter mode.