Add slight clarification to documentation.

acl2 · Jun 14, 2017 · 25b21a0 · 25b21a0
1 parent 43c3211
commit 25b21a0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/books/projects/x86isa/utils/utilities.lisp b/books/projects/x86isa/utils/utilities.lisp
@@ -677,7 +677,7 @@ the sake of efficiency.</p>"
  (local (include-book "arithmetic/top-with-meta" :dir :system))
 
  (define layout-constant-alistp (alst position max-size)
-   :short "Recognizer for all the layout constants"
+   :short "Recognizer for all the layout constants, i.e. contiguous bit fields"
    :guard (and (natp position)
                (natp max-size))
    :enabled t