From d398a01bf0fad688f8dc213d228af9affa4b58c8 Mon Sep 17 00:00:00 2001
From: Jared Weakly <jweakly@galois.com>
Date: Wed, 5 Aug 2020 12:26:41 -0700
Subject: [PATCH] Fix windows installer path (#854)

---
 win32/cryptol.wxs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/win32/cryptol.wxs b/win32/cryptol.wxs
index 732637f30..bb5c1f434 100644
--- a/win32/cryptol.wxs
+++ b/win32/cryptol.wxs
@@ -32,7 +32,7 @@
             <Shortcut Id="startmenuCryptol"
                       Name="Cryptol $(var.version)"
                       WorkingDirectory='INSTALLDIR'
-                      Target="[INSTALLDIR]\bin\cryptol.exe"
+                      Target="[INSTALLDIR]\dist\bin\cryptol.exe"
                       Icon="crypto.ico"
                       IconIndex="0" />
             <!-- <Shortcut Id="startmenuTutorial" -->
@@ -56,7 +56,7 @@
 
     <DirectoryRef Id="TARGETDIR">
       <Component Id="Path" Guid="4D7F78E6-DA16-4C1B-96C4-B33C87502C81">
-        <Environment Id="PATH" Name="PATH" Value="[INSTALLDIR]\bin" Permanent="no" Part="last" Action="set" System="no" />
+        <Environment Id="PATH" Name="PATH" Value="[INSTALLDIR]\dist\bin" Permanent="no" Part="last" Action="set" System="no" />
       </Component>
     </DirectoryRef>