From 507c9ff674f122a234076a06be76bab22850d0b7 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Sat, 17 Feb 2024 13:40:12 +0100
Subject: [PATCH] Fixed erroneously commented out line

---
 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 68fbfb6..0e4cc5c 100644
--- a/src/analysis/typepal/TypePal.rsc
+++ b/src/analysis/typepal/TypePal.rsc
@@ -21,7 +21,7 @@ extend analysis::typepal::Version;
 // collectAndSolve shorthand for a common, simple, scenario
 
 TModel collectAndSolve(Tree pt, TypePalConfig config = tconfig(), str modelName = "no-name"){
-    //if(pt has top) pt = pt.top;
+    if(pt has top) pt = pt.top;
     c = newCollector(modelName, pt, config);
     collect(pt, c);
     return newSolver(pt, c.run()).run();