Skip to content

Commit aa624a8

Browse files
brianhuffmanbrianhuffman
committed
Export typeListOpenTerm from OpenTerm library.
1 parent 2edef5f commit aa624a8

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

‎saw-core/src/Verifier/SAW/OpenTerm.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -29,7 +29,7 @@ module Verifier.SAW.OpenTerm (
2929
trueOpenTerm, falseOpenTerm, boolOpenTerm, boolTypeOpenTerm,
3030
arrayValueOpenTerm, vectorTypeOpenTerm, bvLitOpenTerm, bvTypeOpenTerm,
3131
pairOpenTerm, pairTypeOpenTerm, pairLeftOpenTerm, pairRightOpenTerm,
32-
tupleOpenTerm, tupleTypeOpenTerm, projTupleOpenTerm,
32+
tupleOpenTerm, tupleTypeOpenTerm, typeListOpenTerm, projTupleOpenTerm,
3333
recordOpenTerm, recordTypeOpenTerm, projRecordOpenTerm,
3434
ctorOpenTerm, dataTypeOpenTerm, globalOpenTerm, extCnsOpenTerm,
3535
applyOpenTerm, applyOpenTermMulti, applyGlobalOpenTerm,

0 commit comments

Comments
 (0)