smt-driver: nil is a constructor

kframework · May 5, 2020 · f4b143b · f4b143b
1 parent f4a6e03
commit f4b143b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/prover/drivers/smt-driver.md b/prover/drivers/smt-driver.md
@@ -141,6 +141,7 @@ module DRIVER-SMT
                         <declaration> symbol nil { SMTLIB2SortToSort(LOC) } (.Sorts) : SMTLIB2SortToSort(LOC) </declaration>
                         <declaration> axiom !N:AxiomName : heap(SMTLIB2SortToSort(LOC), SMTLIB2SortToSort(DATA)) </declaration>
                         <declaration> axiom !M:AxiomName : functional(nil { SMTLIB2SortToSort(LOC) }) </declaration>
+                        <declaration> axiom !P:AxiomName : constructor(nil { SMTLIB2SortToSort(LOC) }) </declaration>
                       ) ...
        </declarations>