Skip to content

Commit

Permalink
fol command is actually fo
Browse files Browse the repository at this point in the history
  • Loading branch information
@calvinclaus @kenmcmil
calvinclaus authored and kenmcmil committed Jul 4, 2018
1 parent ebb0917 commit 3eb7781
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/commands.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -101,7 +101,7 @@ decidable fragment. The possible values of `logic` are:
- `epr` This is the "effectively propositional" fragment, which is extended to
include stratified use of function symbols.
- `qf` This fragment allows interpreted theories of the prover, but no quantifiers.
- `fol` This is unrestricted first-order logic modulo the prover's theories.
- `fo` This is unrestricted first-order logic modulo the prover's theories.

The last option does not guarantee decidability and may result in
significant instability of the prover. The default value is `epr`.
Expand Down Expand Up @@ -204,4 +204,4 @@ Causes output files to be generated in `directory`. Default is the current direc





0 comments on commit 3eb7781

Please sign in to comment.