[Pspp-cvs] pspp/src/libpspp model-checker.h [simpler-proc]

[Ben Pfaff]

CVSROOT:        /cvsroot/pspp
Module name:    pspp
Branch:         simpler-proc
Changes by:     Ben Pfaff <blp> 07/04/19 03:59:40

Modified files:
        src/libpspp    : model-checker.h 

Log message:
        Fix URL in comment.

CVSWeb URLs:
http://cvs.savannah.gnu.org/viewcvs/pspp/src/libpspp/model-checker.h?cvsroot=pspp&only_with_tag=simpler-proc&r1=1.1.2.4&r2=1.1.2.5

Patches:
Index: model-checker.h
===================================================================
RCS file: /cvsroot/pspp/pspp/src/libpspp/Attic/model-checker.h,v
retrieving revision 1.1.2.4
retrieving revision 1.1.2.5
diff -u -b -r1.1.2.4 -r1.1.2.5
--- model-checker.h     18 Apr 2007 23:16:53 -0000      1.1.2.4
+++ model-checker.h     19 Apr 2007 03:59:40 -0000      1.1.2.5
@@ -53,7 +53,7 @@
      General Approach to Finding Serious Errors in Storage
      Systems", First Workshop on the Evaluation of Software
      Defect Detection Tools (BUGS), June 2005.
-     http://www.stanford.edu/~blp/papers/explode.pdf
+     http://benpfaff.org/papers/explode.pdf
 
    Use of a model checker is appropriate when the system being
    checked is difficult to test using handwritten tests.  This