fix tests

2023-03-02 09:51:41 +01:00
parent aa5566f256
commit a9279511da
1 changed files with 1 additions and 1 deletions
--- a/src/runtime/python/tests/test_transactions.py
+++ b/src/runtime/python/tests/test_transactions.py
@@ -106,7 +106,7 @@ def test_branched_function_type(gr3):
 # gr6

 def test_reduced_functions(gr6):
-    assert gr6.functions == ['c', 'floatLit', 'intLit', 'nat', 's', 'stringLit', 'z']
+    assert gr6.functions == ['nat', 's', 'z']

 def test_reduced_categories(gr6):
    assert gr6.categories == ["Float","Int","N","P","String"]