From 9577e5d52862ce522d76cffdf6bc4bdeaa7e069d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 21 Nov 2013 19:35:31 +0100 Subject: [PATCH] * bench/dtgbasat/README: Do not mention VMCAI'14. --- bench/dtgbasat/README | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bench/dtgbasat/README b/bench/dtgbasat/README index 653a1fc68..7e6d03a73 100644 --- a/bench/dtgbasat/README +++ b/bench/dtgbasat/README @@ -1,4 +1,5 @@ -These are the benchmark for our submission to VMCAI'14. +These benchmarks are part of a submitted paper. Please +do contact us if you would like a draft of this paper. To reproduce, follow these instructions: