Skip to content

Commit

Permalink
[tool] fix create module script
Browse files Browse the repository at this point in the history
  • Loading branch information
gautierhattenberger committed Nov 6, 2013
1 parent da012dc commit 69684d1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion create_module
Expand Up @@ -134,7 +134,7 @@ let code_file = name^".c";;

let xml_header_of_name = fun n ->
[Xml.Element ("header", [], [
Xml.Element ("file", [("file", n)], [])
Xml.Element ("file", [("name", n)], [])
])];;

let xml_of_description = fun d ->
Expand Down

0 comments on commit 69684d1

Please sign in to comment.