From 67301b25fef8b5360fa20c5a17114be1afab2227 Mon Sep 17 00:00:00 2001
From: rlar <rlar>
Date: Sat, 7 Nov 2015 20:02:20 +0100
Subject: [PATCH] frontend/define.c, ntharg(), #5/15 make use of `fact: num >=
 1'

---
 src/frontend/define.c | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/frontend/define.c b/src/frontend/define.c
index 0a40ce7a8..fbb6c3d1d 100644
--- a/src/frontend/define.c
+++ b/src/frontend/define.c
@@ -410,8 +410,7 @@ ntharg(int num, struct pnode *args)
     // fact: num >= 1 for all known invocations of ntharg()
         while (--num > 0) {
             if (args && args->pn_op && (args->pn_op->op_num != PT_OP_COMMA)) {
-                // fact: num >= 1 because of `while' condition
-                if (num == 1)
+                if (num <= 1)
                     break;
                 return NULL;
             }