summaryrefslogtreecommitdiff
path: root/parse.h
diff options
context:
space:
mode:
Diffstat (limited to 'parse.h')
-rw-r--r--parse.h3
1 files changed, 2 insertions, 1 deletions
diff --git a/parse.h b/parse.h
index 80f92e2..320ca45 100644
--- a/parse.h
+++ b/parse.h
@@ -2,6 +2,7 @@
#define PARSE
#include "proposition.h"
typedef struct Line {
+ int aLevel;
prop_t proposition;
just_t justification;
} line_t;
@@ -9,7 +10,7 @@ typedef struct LineSet {
line_t* lines;
int count;
} lineSet_t;
-line_t init_line(prop_t proposition, just_t justification);
+line_t init_line(int aLevel, prop_t proposition, just_t justification);
lineSet_t init_lineset(line_t* lines, int count);
int count_lines(char* content);
lineSet_t parse_lines(char* content, int lineCount);