From f617cfda7b32aa5951cb937323f8a0d8af081e42 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Tue, 8 Oct 2024 13:12:41 +0200
Subject: [PATCH] Reverted commenting out import of analysis::typepal::Version

---
 src/analysis/typepal/TypePal.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/analysis/typepal/TypePal.rsc b/src/analysis/typepal/TypePal.rsc
index 5240008..26d415f 100644
--- a/src/analysis/typepal/TypePal.rsc
+++ b/src/analysis/typepal/TypePal.rsc
@@ -21,7 +21,7 @@ import ParseTree;
 import Message;
 
 extend analysis::typepal::Solver;
-//extend analysis::typepal::Version;
+extend analysis::typepal::Version;
 
 // collectAndSolve shorthand for a common, simple, scenario