From 8f4eb9fc953512365f9258ffd5d11ed8950f77a9 Mon Sep 17 00:00:00 2001 From: Kai Stevenson Date: Tue, 13 Jun 2023 01:23:42 -0700 Subject: added indentation support for |as rule --- parse.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'parse.h') 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); -- cgit v1.3.1