numbering out of align with nested assumptions
Affects  Status  Importance  Assigned to  Milestone  

the Natural Deduction LaTeX Package 
Triaged

High

Unassigned 
Bug Description
\begin{center}
\begin{
\assumption
\assume{$(p \to q) \to q$}
\
\assume{$q \to p$}
\state{$p \lor \neg p$}{LEM}
}
\state{$q \lor \neg q$}{LEM}
}
}
}
}
\state{$(q \to p) \to p$}{$\to i$ 213}
}
\end{proof}
\end{center}
Changed in naturaldeduction:  
assignee:  Daniel Watkins (danielthewatkins) → nobody 
Hi Jesper,
Thanks for your bug report. I'm looking into what's going on right now.
Cheers,
Dan