Skip to content

Commit a230618

Browse files
committed
Add newlines between functions.
1 parent e64558d commit a230618

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

src/cdomains/stringDomain.ml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,11 @@ include Printable.StdLeaf
33
let name () = "string"
44

55
type string_domain = Unit | Disjoint | Flat
6+
67
let string_domain = ref None
8+
79
let string_domain_config = "ana.base.strings.domain"
10+
811
let parse config = match config with
912
| "unit" -> Unit
1013
| "disjoint" -> Disjoint

0 commit comments

Comments
 (0)