From 251700d13c7aeca117c4982e3ffe5bdd51216a4d Mon Sep 17 00:00:00 2001
From: Markku Rossi <mtr@iki.fi>
Date: Mon, 7 Mar 2022 18:58:55 +0100
Subject: [PATCH] Fixed a bug from native circuit input checks.

---
 compiler/ast/builtin.go | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/ast/builtin.go b/compiler/ast/builtin.go
index a8feb6f9..ec40d7fb 100644
--- a/compiler/ast/builtin.go
+++ b/compiler/ast/builtin.go
@@ -358,7 +358,7 @@ func nativeCircuit(name string, block *ssa.Block, ctx *Codegen,
 		ctx.Native[fp] = circ
 	}
 
-	if len(circ.Inputs) < len(args) {
+	if len(circ.Inputs) > len(args) {
 		return nil, nil, ctx.Errorf(loc,
 			"not enought argument in call to native")
 	} else if len(circ.Inputs) < len(args) {