diff --git a/Bool.html b/Bool.html index 8e29c0c19..fde88f97b 100644 --- a/Bool.html +++ b/Bool.html @@ -992,7 +992,7 @@