From 57a22fcd9d3f32d66cbb0a2b4f41641c21dd4236 Mon Sep 17 00:00:00 2001
From: Patrick Simianer <p@simianer.de>
Date: Mon, 13 Jul 2015 18:53:10 +0200
Subject: interface

---
 index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'index.php')

diff --git a/index.php b/index.php
index 12492a4..e574c63 100644
--- a/index.php
+++ b/index.php
@@ -28,7 +28,7 @@
   <option value="beta_test_C_sparse" onclick="document.getElementById('key').value=this.value;">C (sparse)</option>
   <option value="beta_test_D" onclick="document.getElementById('key').value=this.value;">D</option>
   <option value="beta_test_D_sparse" onclick="document.getElementById('key').value=this.value;">D (sparse)</option>
-  <option value="tiny_test" onclick="document.getElementById('key').value=this.value;">toy example</option>
+  <option value="toy_example" onclick="document.getElementById('key').value=this.value;">toy example</option>
 </select>
 </p>
 </div>
-- 
cgit v1.2.3