[llvm-commits] CVS: llvm-www/pubs/index.html

[Chris Lattner]

Changes in directory llvm-www/pubs:

index.html updated: 1.78 -> 1.79
---
Log message:

Fix attribution


---
Diffs of the changes:  (+1 -1)

 index.html |    2 +-
 1 files changed, 1 insertion(+), 1 deletion(-)


Index: llvm-www/pubs/index.html
diff -u llvm-www/pubs/index.html:1.78 llvm-www/pubs/index.html:1.79
--- llvm-www/pubs/index.html:1.78	Sun Jul 20 16:12:32 2008
+++ llvm-www/pubs/index.html	Thu Aug 14 12:47:48 2008
@@ -11,7 +11,7 @@
 
 <li>"<a href="2008-08-SPIN-Pancam.html">Verifying Multi-threaded C Programs 
 with SPIN</a>"<br>
-Anna Zaks and Amir Pnueli<br>
+Anna Zaks and Rajeev Joshi<br>
 <i>Proc. International SPIN Workshop on Model Checking of Software (SPIN 
 2008)</i>, August 2008</li>