summaryrefslogtreecommitdiffstats
path: root/tools/untypeast.ml
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2013-04-10 17:26:55 +0000
committerAlain Frisch <alain@frisch.fr>2013-04-10 17:26:55 +0000
commitee5f754a42fa42f69cc70283bb033ea2be1ce6f1 (patch)
tree58967ecffa45177a8d93a104c9d70e10f05e41a4 /tools/untypeast.ml
parentcb38ccc346a8ef0a240d70cdd02375ca90c15005 (diff)
Attributes and extension points in class_expr.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13500 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'tools/untypeast.ml')
-rw-r--r--tools/untypeast.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/untypeast.ml b/tools/untypeast.ml
index d6a08c04d..4e92f8de2 100644
--- a/tools/untypeast.ml
+++ b/tools/untypeast.ml
@@ -444,6 +444,7 @@ and untype_class_expr cexpr =
in
{ pcl_desc = desc;
pcl_loc = cexpr.cl_loc;
+ pcl_attributes = cexpr.cl_attributes;
}
and untype_class_type ct =