From b2ca0e358b3445855daea68352ea99be487f09bb Mon Sep 17 00:00:00 2001
From: Brian Fiete <bfiete@gmail.com>
Date: Thu, 7 Nov 2019 06:52:23 -0800
Subject: [PATCH] Fixed crash resetting distinct build options

---
 IDE/src/ui/WorkspaceProperties.bf | 1 +
 1 file changed, 1 insertion(+)

diff --git a/IDE/src/ui/WorkspaceProperties.bf b/IDE/src/ui/WorkspaceProperties.bf
index 7019f2bb..3ddfdb89 100644
--- a/IDE/src/ui/WorkspaceProperties.bf
+++ b/IDE/src/ui/WorkspaceProperties.bf
@@ -679,6 +679,7 @@ namespace IDE.ui
 				DeleteDistinctBuildOptions();
 				fallthrough;
 			case .Build:
+				DeleteDistinctBuildOptions();
 				int propsIdx = 0;
 				for (var configName in mConfigNames)
 				{