diff --git a/Common/CommandLine.cpp b/Common/CommandLine.cpp
index e72ae9981a8a15596e6214b61e68701871a389e9..2f5613f4002e2b72a1187850f95bd828a1cf6b1c 100644
--- a/Common/CommandLine.cpp
+++ b/Common/CommandLine.cpp
@@ -541,7 +541,7 @@ void GetOptions(int argc, char *argv[])
       }
       else if (!strcmp(argv[i]+1, "setnumber")) {
         i++;
-	if (i + 1 < argc && argv[i][0] != '-' && argv[i + 1][0] != '-') {
+	if (i + 1 < argc && argv[i][0] != '-') {
           std::vector<double> val(1, atof(argv[i + 1]));
           gmsh_yysymbols[argv[i]].value = val;
           i += 2;