From a2fad9e29eecca78259f0b496ae5447dca6dee1c Mon Sep 17 00:00:00 2001
From: Giuseppe <8973725+Eagle941@users.noreply.github.com>
Date: Tue, 21 Nov 2023 17:36:46 +0000
Subject: [PATCH] Main nine

---
 go.mod           | 4 ++--
 parser/parser.go | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/go.mod b/go.mod
index 4fdb9da..a3f593b 100644
--- a/go.mod
+++ b/go.mod
@@ -3,8 +3,8 @@ module github.com/reilabs/gnark-lean-extractor/v2
 go 1.20
 
 require (
-	github.com/consensys/gnark v0.8.0
-	github.com/consensys/gnark-crypto v0.9.1
+	github.com/consensys/gnark v0.9.1
+	github.com/consensys/gnark-crypto v0.12.2-0.20231013160410-1f65e75b6dfb
 	github.com/mitchellh/copystructure v1.2.0
 	github.com/stretchr/testify v1.8.1
 	golang.org/x/exp v0.0.0-20230905200255-921286631fa9
diff --git a/parser/parser.go b/parser/parser.go
index f1f8f64..870c261 100644
--- a/parser/parser.go
+++ b/parser/parser.go
@@ -4,7 +4,7 @@ import (
 	"math/big"
 
 	"github.com/consensys/gnark-crypto/ecc"
-	"github.com/consensys/gnark/backend/hint"
+	"github.com/consensys/gnark/constraint/solver"
 	"github.com/consensys/gnark/frontend"
 	"github.com/reilabs/lean-circuit-compiler/abstractor"
 	"github.com/reilabs/lean-circuit-compiler/extractor"
@@ -141,7 +141,7 @@ func (ce *CodeParser) Commit(v ...frontend.Variable) (frontend.Variable, error)
 	panic("Not implemented")
 }
 
-func (ce *CodeParser) NewHint(f hint.Function, nbOutputs int, inputs ...frontend.Variable) ([]frontend.Variable, error) {
+func (ce *CodeParser) NewHint(f solver.Hint, nbOutputs int, inputs ...frontend.Variable) ([]frontend.Variable, error) {
 	panic("Not implemented")
 }