diff --git a/src/fun/parser.rs b/src/fun/parser.rs index 8e6d31fc7..9bc672fa3 100644 --- a/src/fun/parser.rs +++ b/src/fun/parser.rs @@ -165,7 +165,7 @@ impl<'a> TermParser<'a> { self.skip_trivia(); let (import, sub_imports) = self.parse_import()?; book.imports.add_import(import, sub_imports); - indent = self.advance_newlines(); + indent = self.advance_newlines()?; last_rule = None; continue; }