unused param

goose-lang · Jun 26, 2024 · 32f46e6 · 32f46e6
1 parent b2ae939
commit 32f46e6
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/types.go b/types.go
@@ -140,7 +140,7 @@ func (ctx Ctx) arrayType(e *ast.ArrayType) coq.Type {
 	return coq.SliceType{Value: ctx.coqType(e.Elt)}
 }
 
-func (ctx Ctx) ptrType(e *ast.StarExpr) coq.Type {
+func (ctx Ctx) ptrType() coq.Type {
 	return coq.PtrType{}
 }
 
@@ -176,7 +176,7 @@ func (ctx Ctx) coqType(e ast.Expr) coq.Type {
 	case *ast.ArrayType:
 		return ctx.arrayType(e)
 	case *ast.StarExpr:
-		return ctx.ptrType(e)
+		return ctx.ptrType()
 	case *ast.InterfaceType:
 		if isEmptyInterface(e) {
 			return coq.TypeIdent("anyT")