diff options
Diffstat (limited to 'Source/Dafny/Makefile')
-rw-r--r-- | Source/Dafny/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Dafny/Makefile b/Source/Dafny/Makefile index e8c0f5e0..68ab7a2d 100644 --- a/Source/Dafny/Makefile +++ b/Source/Dafny/Makefile @@ -4,7 +4,7 @@ # from http://boogiepartners.codeplex.com/. Update the FRAME_DIR variable to
# point to whatever directory you install that into.
# ###############################################################################
-COCO_EXE_DIR = ..\..\..\boogie-partners\CocoRdownload
+COCO_EXE_DIR = ..\..\..\boogie-partners\CocoR\bin
FRAME_DIR = ..\..\..\boogie-partners\CocoR\Modified
COCO = $(COCO_EXE_DIR)\Coco.exe
|