Project

General

Profile

Revision fc476249 src/machine_code.ml

View differences:

src/machine_code.ml
161 161
    node_spec = None;
162 162
    node_annot = [];  }
163 163

  
164
let arrow_top_decl =
164
(*let arrow_top_decl =
165 165
  {
166 166
    top_decl_desc = Node arrow_desc;
167 167
    top_decl_owner = Version.include_path;
168 168
    top_decl_itf = false;
169 169
    top_decl_loc = Location.dummy_loc
170
  }*)
171

  
172
let arrow_top_decl =
173
  {
174
    top_decl_desc = Node arrow_desc;
175
    top_decl_owner = !Options.include_dir;
176
    top_decl_itf = false;
177
    top_decl_loc = Location.dummy_loc
170 178
  }
171 179

  
180

  
172 181
let mk_val v t = { value_desc = v; 
173 182
		   value_type = t; 
174 183
		   value_annot = None }

Also available in: Unified diff