Fix missing import

Theomat · Theomat · commit aa2c80befe7c · 2024-12-19T11:17:38.000+01:00
diff --git a/synth/semantic/evaluator.py b/synth/semantic/evaluator.py
@@ -1,7 +1,7 @@
 from abc import ABC, abstractmethod
 from typing import Any, Dict, List, Set, Callable, Tuple
 
-from synth.syntax.program import Constant, Function, Primitive, Program, Variable
+from synth.syntax.program import Constant, Function, Primitive, Program, Variable, Type
 
 
 class Evaluator(ABC):
