Wire typed SSD server models
ober
dd7253bae1ea46134a8dedc6e046287626f28e5d
--- a/templates/ssd-review.ss +++ b/templates/ssd-review.ss @@ -87,4 +87,5 @@ (include-fragment "ssd-review-parts/LimitedStreams.ss") (include-fragment "ssd-review-parts/TruthStoreConstants.ss") (include-fragment "ssd-review-parts/TruthStoreLocal.ss") - (include-fragment "ssd-review-parts/TruthStore.ss"))) + (include-fragment "ssd-review-parts/TruthStore.ss") + (include-fragment "ssd-review-parts/server-models.ss")))