test-fitsinto: use evaulator.fitsinto

Fundament-Software · Dec 9, 2023 · d1740fa · d1740fa
1 parent 6de9baa
commit d1740fa
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/test-fitsinto.lua b/test-fitsinto.lua
@@ -5,7 +5,7 @@ local evaluator = require "./evaluator"
 
 local value = terms.value
 local typed = terms.typed_term
-local fitsinto = require "./fitsinto".fitsinto
+local fitsinto = evaluator.fitsinto
 
 local qty = function(q, ty)
 	return value.qtype(value.quantity(q), ty)
@@ -217,6 +217,6 @@ local passed, failed, total = (require "tap")(function(test)
 				)
 			)
 		)
-		assert(fitsinto(decl_a, decl_b))
+		assert(fitsinto(unrestrict(decl_a), unrestrict(decl_b)))
 	end)
 end)