]> andersk Git - splint.git/blame - test/abstptr.lcl
Renamings to avoid conflicts with type names.
[splint.git] / test / abstptr.lcl
CommitLineData
885824d3 1mutable type abst ;
This page took 0.047983 seconds and 5 git commands to generate.