diff src/luan/impl/Compiled.java @ 1580:2975c932864d

require options
author Franklin Schmidt <fschmidt@gmail.com>
date Wed, 10 Feb 2021 23:56:59 -0700
parents 8fbcc4747091
children
line wrap: on
line diff
--- a/src/luan/impl/Compiled.java	Wed Feb 10 22:49:47 2021 -0700
+++ b/src/luan/impl/Compiled.java	Wed Feb 10 23:56:59 2021 -0700
@@ -133,7 +133,7 @@
 	}
 
 
-	private static final int VERSION = 6;
+	private static final int VERSION = 7;
 	private static final File tmpDir;
 	static {
 		File f = new File(System.getProperty("java.io.tmpdir"));