output is still identical

diff --git a/Makefile b/Makefile
index e79351262432c796a60dcfe203b4650a4779a2f8..9d8aab951325c95dd4ef998b177662137e27eb78 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -14,8 +14,8 @@ USE_PLAG_RELEASE := $(shell ./find-plag \
  release:debug "$(PLAG_DIR)" "$(PLAG_RELEASE)" "$(PLAG_DEBUG)" "$(PLAG)")
 
 # with
-#  plag-mangle    a213b9ab92ec0f020f999f53c25c4996855e0349
-#  rc-dlist-deque 5147fecc626d2b00e3e9cef96baaf5e41a8d8220
+#  plag-mangler   3a1eae4d6395f7d862cf66d0e4a1008d1bedc6e7
+#  rc-dlist-deque 3e19e16dde436fc1ac03534bf502588d17b3faeb
 #  c_vec          3394762a6221c44f8e22b222ce5547f6534129ea
 #  rust-nlopt     d6781621e72bb7a78da56689ab5bb27befafec6a
 #  nlopt (hack)   3068d8b694a6047c4f374b7267a54fdb3fae1f69 2.3+252-g8b3cb5a-1