Commit 70c3e2f1 authored by Jonathan Kaufmann's avatar Jonathan Kaufmann
Browse files

Apply Luke's suggestion of clause number inclusion.

parent fc09931c