summaryrefslogtreecommitdiff
path: root/src/commit.mli
diff options
context:
space:
mode:
Diffstat (limited to 'src/commit.mli')
-rw-r--r--src/commit.mli2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/commit.mli b/src/commit.mli
index 6db7f3a..d1c9c69 100644
--- a/src/commit.mli
+++ b/src/commit.mli
@@ -4,7 +4,7 @@ type status = {
}
type node_data = {
- script_name: string option;
+ script_name: string;
priority: int;
tag_value: string option;
arg_value: string option;