1 (*ID: $Id$*)
2 header {* Meson test cases *}
3
4 theory mesontest2 imports Main begin
5
6 hide const subset
7
6 end
8 end