diff --git a/spec/abstractops.html b/spec/abstractops.html index 09ea49f1d..91d345c33 100644 --- a/spec/abstractops.html +++ b/spec/abstractops.html @@ -672,7 +672,7 @@