X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Fooomem-deps%2Fread_order_sync_core.define;fp=formal-model%2Fooomem-deps%2Fread_order_sync_core.define;h=eb80fc9c91598607423bc3e648bd58160cab6c0d;hb=bac061a165dc6a98ca31ae170c556aa8c89bb45e;hp=0000000000000000000000000000000000000000;hpb=e8043c1b4278ffaa886393b2ba601c08ae649e69;p=urcu.git

diff --git a/formal-model/ooomem-deps/read_order_sync_core.define b/formal-model/ooomem-deps/read_order_sync_core.define
new file mode 100644
index 0000000..eb80fc9
--- /dev/null
+++ b/formal-model/ooomem-deps/read_order_sync_core.define
@@ -0,0 +1 @@
+#define USE_SYNC_CORE