Minor

ajreynol · Jan 24, 2025 · b15a0ea · b15a0ea
1 parent e1f7d4f
commit b15a0ea
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/proofs/eo/cpc/programs/Utils.eo b/proofs/eo/cpc/programs/Utils.eo
@@ -91,7 +91,7 @@
 ; - x S: The term to inspect.
 ; return: the head of x, where x is expected to be a function application.
 (define $head ((S Type :implicit) (x S))
-  (eo::match ((T Type) (f (-> T T T)) (x1 T) (x2 T :list))
+  (eo::match ((T Type) (f (-> T U U)) (x1 T) (x2 U :list))
     x
     (((f x1 x2) x1)))
 )