We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 934d89b commit c099f38Copy full SHA for c099f38
1 file changed
src/Data/ByteString/Search/DFA.idr
@@ -142,9 +142,9 @@ matchDFA pat target {prfpat} {prftarget} t =
142
|||
143
||| Example:
144
145
-||| | pat | target |
146
-||| | ----- | ----------- |
147
-||| | "ABC" | "ABCABCABC" |
+||| | pat | target |
+||| | -------- | ----------- |
+||| | "ABCABC" | "ABCABCABC" |
148
149
||| | Start | Substring | Match? | Explanation |
150
||| | ----- | --------------- | ------ | ---------------------------------------------------------------- |
0 commit comments