Browse Source

do not eliminate extern interfaces

Simon Krajewski 9 years ago
parent
commit
a8b8bc4806
1 changed files with 1 additions and 1 deletions
  1. 1 1
      filters.ml

+ 1 - 1
filters.ml

@@ -1102,7 +1102,7 @@ let check_remove_metadata ctx t = match t with
 
 
 let do_the_tivo_thing ctx =
 let do_the_tivo_thing ctx =
 	let get_substitute_class c = match c.cl_dependent with
 	let get_substitute_class c = match c.cl_dependent with
-		| [({cl_params = []} as c2),[]] when c.cl_interface && c.cl_params = [] ->
+		| [({cl_params = []} as c2),[]] when c.cl_interface && c.cl_params = [] && not c.cl_extern ->
 			c2
 			c2
 		| _ -> c
 		| _ -> c
 	in
 	in