diff options
Diffstat (limited to 'src/include/open-axiom/InputFragment')
| -rw-r--r-- | src/include/open-axiom/InputFragment | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/include/open-axiom/InputFragment b/src/include/open-axiom/InputFragment index 41661c67..e55cd0a6 100644 --- a/src/include/open-axiom/InputFragment +++ b/src/include/open-axiom/InputFragment @@ -61,10 +61,6 @@ namespace OpenAxiom { bool line_continuation() const { return not empty() and back().back() == '_'; } - // Return the indentation of the last physical line of this fragment. - ColumnIndex last_indent() const { - return empty() ? 0 : back().indent; - } using std::vector<Line>::operator[]; // Reference a line given by a position into this fragment. const Line& operator()(const OpenAxiom::FragmentCursor& pos) const { |