From ac62ec2335c2299de57f56ad6b3b72953a4c16b2 Mon Sep 17 00:00:00 2001
From: d11e9 <d11e9@turkd.net>
Date: Wed, 7 Oct 2015 18:17:44 +0100
Subject: [PATCH] make sure vm mode is always default

---
 index.html | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/index.html b/index.html
index 1c0833d26b..4d35a995ac 100644
--- a/index.html
+++ b/index.html
@@ -124,7 +124,9 @@ THE SOFTWARE.
 
 	var $vmToggle = $('#vm');
 	var $web3Toggle = $('#web3');
+
 	var executionContext = 'vm';
+	$vmToggle.get(0).checked = true;
 
 	$vmToggle.on('change', executionContextChange );
 	$web3Toggle.on('change', executionContextChange );