# HG changeset patch
# User haftmann
# Date 1743167616 -3600
# Node ID 2819f79792b968ead3c3c1dbca71d25e69e68452
# Parent  2db8a047b52c772f0f5b2978fb2effaea00761ef
spelling

diff -r 2db8a047b52c -r 2819f79792b9 src/Tools/nbe.ML
--- a/src/Tools/nbe.ML	Fri Mar 28 16:37:58 2025 +0100
+++ b/src/Tools/nbe.ML	Fri Mar 28 14:13:36 2025 +0100
@@ -153,7 +153,7 @@
 (** the semantic universe **)
 
 (*
-   Functions are given by their semantical function value. To avoid
+   Functions are given by their semantic function value. To avoid
    trouble with the ML-type system, these functions have the most
    generic type, that is "Univ list -> Univ". The calling convention is
    that the arguments come as a list, the last argument first. In