diff options
| author | Christopher Pulte | 2016-10-19 16:12:04 +0100 |
|---|---|---|
| committer | Christopher Pulte | 2016-10-19 16:12:04 +0100 |
| commit | f1397ce24a104ec455105abe3d32b9d4f4f52819 (patch) | |
| tree | 9cb38d96d863bf0c04c6f57587293d8dc5fdb277 /src | |
| parent | 019ce013a1274cd9c1af13c5f5d33f444de85d88 (diff) | |
fix
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/interp_inter_imp.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/interp_inter_imp.lem b/src/lem_interp/interp_inter_imp.lem index ebe02cee..96622dc2 100644 --- a/src/lem_interp/interp_inter_imp.lem +++ b/src/lem_interp/interp_inter_imp.lem @@ -449,7 +449,7 @@ let value_of_instruction_param direction (name,typ,v) = | _ -> Assert_extra.failwith "intern_ifield did not return vector" end in v -let intern_instruction direction (name,parms,_) = +let intern_instruction direction (name,parms) = Interp.V_ctor (Interp.id_of_string name) (T_id "ast") Interp.C_Union (Interp.V_tuple (List.map (value_of_instruction_param direction) parms)) |