Commit f35341bb authored by stancakapost's avatar stancakapost
Browse files

imports are private by default

parent d62bda5b
Loading
Loading
Loading
Loading
+1 −2
Original line number Diff line number Diff line
@@ -14,7 +14,6 @@ import from Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_A {
type component GeneralComp {}

testcase TC_Sem_08020307_ImportingOfImportStatementsFromT3Modules_001() runs on GeneralComp {
// TODO is this semantically correct?
	if (c_myconst == 43532) {
		setverdict(pass);
	} else {
@@ -28,7 +27,7 @@ control{
}

module Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_A {
	import from Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_B all;
	public import from Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_B all;
}

module Sem_08020307_ImportingOfImportStatementsFromT3Modules_001_import_B {