Skip to content

Commit 3b5b9df

Browse files
sim642sim642
committed
Rename IntDomain0 -> IntervalDomain for split
1 parent 4b9f2b2 commit 3b5b9df

File tree

1 file changed

+0
-0
lines changed

1 file changed

+0
-0
lines changed

‎src/cdomain/value/cdomains/intDomain0.ml‎ renamed to ‎src/cdomain/value/cdomains/int/intervalDomain.ml‎

File renamed without changes.

0 commit comments

Comments
 (0)