From 20a4b3cba7e65dab7361f6cf08dc09845bd8709b Mon Sep 17 00:00:00 2001
From: niv vaknin <niv@certora.com>
Date: Mon, 6 Jan 2025 17:17:30 +0200
Subject: [PATCH] Fix typing

---
 Quorum/entry_points/quorum_cli.py | 6 ++----
 version                           | 2 +-
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/Quorum/entry_points/quorum_cli.py b/Quorum/entry_points/quorum_cli.py
index 716a5b9..c0f260b 100644
--- a/Quorum/entry_points/quorum_cli.py
+++ b/Quorum/entry_points/quorum_cli.py
@@ -2,6 +2,7 @@
 
 import argparse
 from pydantic import BaseModel
+from typing import Callable
 
 import Quorum.entry_points.cli_arguments as cli_args
 from Quorum.entry_points.implementations.check_proposal import run_single
@@ -16,10 +17,7 @@ class Command(BaseModel):
     name: str
     help: str
     arguments: list[cli_args.Argument]
-    func: callable
-
-    class Config:
-        arbitrary_types_allowed = True
+    func: Callable[[argparse.Namespace], None]
 
 
 COMMAND_REGISTRY = [
diff --git a/version b/version
index 534a79b..73defc9 100644
--- a/version
+++ b/version
@@ -1 +1 @@
-20250106.171312.982801
+20250106.171730.755013