浏览代码

fix __define_feature__ argument

Simon Krajewski 11 年之前
父节点
当前提交
f7d0fdc140
共有 1 个文件被更改,包括 1 次插入1 次删除
  1. 1 1
      genpy.ml

+ 1 - 1
genpy.ml

@@ -1214,7 +1214,7 @@ module Printer = struct
 						Printf.sprintf "%s(%s)" (print_expr pctx e1) (print_exprs_named pctx ", " fields)
 				end
 			| "__define_feature__" ->
-				print_expr pctx (List.hd el)
+				print_expr pctx (match el with [_;e] -> e | _ -> assert false)
 			| "__call__" ->
 				begin match el with
 					| e1 :: el ->