X-Git-Url: http://plrg.eecs.uci.edu/git/?p=junction.git;a=blobdiff_plain;f=samples%2FMapLinearizabilityTest%2Fjunction_userconfig.h.in;h=738001309292d981ccc344097af3603723ae4734;hp=5c9739d6edbe2b4c7d8bc48997fef4ff32bbb376;hb=624f46ff6ace5dfca5dcfe2606585b3aa68ae28c;hpb=5521cf3b2a05bf8e883101b8b887e37cf7a5eada

diff --git a/samples/MapLinearizabilityTest/junction_userconfig.h.in b/samples/MapLinearizabilityTest/junction_userconfig.h.in
index 5c9739d..7380013 100644
--- a/samples/MapLinearizabilityTest/junction_userconfig.h.in
+++ b/samples/MapLinearizabilityTest/junction_userconfig.h.in
@@ -1 +1 @@
-#define JUNCTION_IMPL_MAPADAPTER_PATH "junction/extra/impl/MapAdapter_SimpleRelaxed.h"
+#define JUNCTION_IMPL_MAPADAPTER_PATH "junction/extra/impl/MapAdapter_Crude.h"