[jit] Remove unused MONO_PATCH_INFO_MONITOR_ENTER/EXIT.

[mono.git] / mono / mini / mini.h

diff --git a/mono/mini/mini.h b/mono/mini/mini.h
index db5c133266f00c318fa84686141196a4f13b2cbd..e7a9d148a218028ef20c8fdce0d84be15c42278f 100644 (file)
--- a/mono/mini/mini.h
+++ b/mono/mini/mini.h
@@ -114,7 +114,7 @@
 #endif
 
 /* Version number of the AOT file format */
-#define MONO_AOT_FILE_VERSION 131
+#define MONO_AOT_FILE_VERSION 132
 
 //TODO: This is x86/amd64 specific.
 #define mono_simd_shuffle_mask(a,b,c,d) ((a) | ((b) << 2) | ((c) << 4) | ((d) << 6))