diff --git a/doc/tutorial.rst b/doc/tutorial.rst index 8549f99522b30e567e9c24589420bf92a50c1432..cde36163d09a5a7d31a1afc97e0bfcaa636cdda3 100644 --- a/doc/tutorial.rst +++ b/doc/tutorial.rst @@ -1106,7 +1106,7 @@ Attempting to create this kernel results in an error: ... # While trying to find shape axis 0 of argument 'out', the following exception occurred: Traceback (most recent call last): ... - StaticValueFindingError: a static maximum was not found for PwAff '[n] -> { [(1)] : n = 1; [(n)] : n >= 2; [(1)] : n <= 0 }' + StaticValueFindingError: a static maximum was not found for PwAff '[n] -> { [(1)] : n <= 1; [(n)] : n >= 2 }' The problem is that loopy cannot find a simple, universally valid expression for the length of *out* in this case. Notice how the kernel accesses both the