Skip to content

Commit 318f2c2

Browse files
committed
Do not expand MUTEX_INITS unknown
1 parent cc39ddd commit 318f2c2

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/analyses/commonPriv.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,7 @@ struct
8383
end
8484
module V =
8585
struct
86-
include Printable.Either3 (VMutex) (VMutexInits) (VGlobal)
86+
include Printable.Either3Conf (struct include Printable.DefaultConf let expand2 = false end) (VMutex) (VMutexInits) (VGlobal)
8787
let name () = "MutexGlobals"
8888
let mutex x: t = `Left x
8989
let mutex_inits: t = `Middle ()

0 commit comments

Comments
 (0)