This repository was archived by the owner on Dec 13, 2025. It is now read-only.
Fix a bug with declarations in the benchmark system
make-dsm-bencher andmake-dsb-bencher were previously generatiing bogus declarations because they didn't splice things.
Bug (re)found by Yehouda: thank you