[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/18 23:16:53

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

Log message:
        failure -> alternative 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.3&r2=1.1.2.4

Patches:
Index: model-checker.h
===================================================================
RCS file: /cvsroot/pspp/pspp/src/libpspp/Attic/model-checker.h,v
retrieving revision 1.1.2.3
retrieving revision 1.1.2.4
diff -u -b -r1.1.2.3 -r1.1.2.4
--- model-checker.h     18 Apr 2007 05:07:32 -0000      1.1.2.3
+++ model-checker.h     18 Apr 2007 23:16:53 -0000      1.1.2.4
@@ -288,11 +288,11 @@
    This model checker does not (yet) include two features
    described in the papers cited above: utility scoring
    heuristics to guide the search strategy and "choice points" to
-   explore failure cases.  The former feature is less interesting
-   for this model checker, because the data structures we are
-   thus far using it to model are much smaller than those
-   discussed in the paper.  The latter feature we should
-   implement at some point. */
+   explore alternative cases.  The former feature is less
+   interesting for this model checker, because the data
+   structures we are thus far using it to model are much smaller
+   than those discussed in the paper.  The latter feature we
+   should implement at some point. */
 
 #ifndef LIBPSPP_MODEL_CHECKER_H
 #define LIBPSPP_MODEL_CHECKER_H 1