From 4685709c25b5f22c51b6419c4898a689e8ffb4f9 Mon Sep 17 00:00:00 2001 From: Bryan Parno Date: Thu, 17 Sep 2015 15:30:39 -0700 Subject: Fix a check that occasionally led to an out of bounds exception in the extension --- Binaries/dafny | Bin 315 -> 19456 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to 'Binaries') diff --git a/Binaries/dafny b/Binaries/dafny index 889ebc81..05fa3203 100755 Binary files a/Binaries/dafny and b/Binaries/dafny differ -- cgit v1.2.3