diff --git a/docs/OpenProjects.html b/docs/OpenProjects.html index 556fc44958c..b24f195beba 100644 --- a/docs/OpenProjects.html +++ b/docs/OpenProjects.html @@ -183,9 +183,9 @@ very rewarding.

Pointer and Alias Analysis