Update metrics.py

bliutech · Jul 19, 2024 · a967a57 · a967a57
1 parent 8c60295
commit a967a57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/metrics.py b/utils/metrics.py
@@ -24,5 +24,5 @@ def visitOrExpr(self, oex: OrExpr) -> None:
         OpCounter._count += 1
         oex.first.accept(self)
 
-    def getCount(self) -> None:
+    def getCount(self) -> int:
         return self._count