From 28ab84cb7b09e23aa0ed014bf2ed1fda56fcefc1 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Jan 2019 15:11:56 -0500 Subject: Stop complaining when a nonexistent option is chosen for cselect --- lib/js/urweb.js | 3 --- 1 file changed, 3 deletions(-) (limited to 'lib') diff --git a/lib/js/urweb.js b/lib/js/urweb.js index 357e4c1c..1c296fe1 100644 --- a/lib/js/urweb.js +++ b/lib/js/urweb.js @@ -2271,9 +2271,6 @@ function setSelectValue(x, v) { return; } } - - if (v != "") - er("Setting