Project

General

Profile

Revision 69c96b6c src/modules.ml

View differences:

src/modules.ml
162 162
       if ISet.mem basename imported then imported else
163 163
	 let lusic = import_dependency_aux decl.top_decl_loc (local, dep)
164 164
	 in load_header_rec (ISet.add basename imported) lusic.Lusic.contents
165
		 ) imported header
165
  ) imported header
166 166

  
167 167
let load_header imported header =
168 168
  try
......
187 187
       if ISet.mem basename imported then imported else
188 188
	 let lusic = import_dependency_aux decl.top_decl_loc (local, dep)
189 189
	 in load_header_rec (ISet.add basename imported) lusic.Lusic.contents
190
		 ) imported program
191

  
190
  ) imported program
191
    
192 192
let load_program imported program =
193 193
  try
194 194
    load_program_rec imported program

Also available in: Unified diff