# HG changeset patch
# User blanchet
# Date 1283773690 -7200
# Node ID 2aca183ef915d1f1ba68b87f24392facdc7f6e92
# Parent  b1c2c03fd9d702a3f9640258dde2578d6abe726e
fix editor

diff -r b1c2c03fd9d7 -r 2aca183ef915 doc-src/manual.bib
--- a/doc-src/manual.bib	Mon Sep 06 11:53:42 2010 +0200
+++ b/doc-src/manual.bib	Mon Sep 06 13:48:10 2010 +0200
@@ -1372,7 +1372,7 @@
 @inproceedings{sutcliffe-2000,
   author = "Geoff Sutcliffe",
   title = "System Description: {SystemOnTPTP}",
-  editor = "J. G. Carbonell and J. Siekmann",
+  editor = "David McAllester",
   booktitle	= {Automated Deduction --- {CADE}-17 International Conference},
   series = "Lecture Notes in Artificial Intelligence",
   volume = {1831},