aboutsummaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--tests/Test.thy2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/Test.thy b/tests/Test.thy
index b0eb87a..de65dbd 100644
--- a/tests/Test.thy
+++ b/tests/Test.thy
@@ -23,7 +23,7 @@ declare[[unify_trace_simp, unify_trace_types, simp_trace, simp_trace_depth_limit
\<comment> \<open>Turn on trace for unification and the simplifier, for debugging.\<close>
-section \<open>\<Pi>-type\<close>
+section \<open>\<Prod>-type\<close>
subsection \<open>Typing functions\<close>