diff --git a/annotated.html b/annotated.html index 50763ed4a..efe0d19b1 100644 --- a/annotated.html +++ b/annotated.html @@ -186,7 +186,7 @@ $(function() {