12 anni fa · c42f7b851d
--- a/main.ml
+++ b/main.ml
@@ -44,7 +44,7 @@ type cache = {
 
				 exception Abort
			
 
				 exception Completion of string
			
 
				 
			
 
				-let version = 300
			
 
				+let version = 301
			
 
				 
			
 
				 let measure_times = ref false
			
 
				 let prompt = ref false