diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index 4a1a5f027a1..a0b22248d44 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -246,7 +246,7 @@ KLEE.

The goal of DragonEgg is to make gcc-4.5 act like llvm-gcc without requiring any gcc modifications whatsoever. -DragonEgg is a shared library (llvm.so) +DragonEgg is a shared library (dragonegg.so) that is loaded by gcc at runtime. It uses the new gcc plugin architecture to disable the GCC optimizers and code generators, and schedule the LLVM optimizers and code generators (or direct output of LLVM IR) instead. Currently only Linux