[llvm-commits] CVS: llvm-www/pubs/2008-08-SPIN-Pancam.html

[Chris Lattner]

Changes in directory llvm-www/pubs:

2008-08-SPIN-Pancam.html updated: 1.2 -> 1.3
---
Log message:

Fix attribution


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

 2008-08-SPIN-Pancam.html |    2 +-
 1 files changed, 1 insertion(+), 1 deletion(-)


Index: llvm-www/pubs/2008-08-SPIN-Pancam.html
diff -u llvm-www/pubs/2008-08-SPIN-Pancam.html:1.2 llvm-www/pubs/2008-08-SPIN-Pancam.html:1.3
--- llvm-www/pubs/2008-08-SPIN-Pancam.html:1.2	Sun Jul 20 16:16:17 2008
+++ llvm-www/pubs/2008-08-SPIN-Pancam.html	Thu Aug 14 12:46:53 2008
@@ -11,7 +11,7 @@
   Verifying Multi-threaded C Programs with SPIN
 </div>
 <div class="pub_author">
-  Anna Zaks and Amir Pnueli
+  Anna Zaks and Rajeev Joshi
 </div>
 
 <h2>Abstract:</h2>