From 173d93d0d266f013c25a37cc34b547229ccd936f Mon Sep 17 00:00:00 2001
From: eduardomadeira98 <joseeduardomadeira@hotmail.com>
Date: Wed, 21 Feb 2024 15:05:59 +0000
Subject: [PATCH] fuel_cost example  working

---
 examples/PSB2/annotations/fuel_cost.ae | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/examples/PSB2/annotations/fuel_cost.ae b/examples/PSB2/annotations/fuel_cost.ae
index a28f9c54..c3fc22ee 100644
--- a/examples/PSB2/annotations/fuel_cost.ae
+++ b/examples/PSB2/annotations/fuel_cost.ae
@@ -8,9 +8,6 @@ def map_Int_Int_List: (function:(a: Int) -> Int) -> (l: List) -> List = native "
 
 def fuel_cost  (xs: List) : Int {
  sum(
-    map_Int_Int_List(
-        ( \x : Int -> Math_max (Math_floor_division(x)(3 - 2)) (0)) (xs))
-        )
+    map_Int_Int_List (( \x -> Math_max (Math_floor_division(x)(3) - 2)(0)) : (x: Int) -> Int) (xs)
+    )
  }
-
-# Type not freshable: ?t <class 'aeon.core.types.TypeVar'>