From 426ac55f57bb828a30ba8fd2aab65a01ef1d9553 Mon Sep 17 00:00:00 2001 From: Reuben Rowe Date: Mon, 21 Nov 2016 17:52:21 +0000 Subject: [PATCH] Renamed file now that it proves again. --- .../procs/{19b-functional-queue.wl2x => 19b-functional-queue.wl2} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename benchmarks/procs/{19b-functional-queue.wl2x => 19b-functional-queue.wl2} (100%) diff --git a/benchmarks/procs/19b-functional-queue.wl2x b/benchmarks/procs/19b-functional-queue.wl2 similarity index 100% rename from benchmarks/procs/19b-functional-queue.wl2x rename to benchmarks/procs/19b-functional-queue.wl2