Fix segmentation fault in docker master build in Debian10

Summary: This fixes the segmentation fault in docker master build. See https://github.com/facebook/infer/issues/1194. Reviewed By: jvillard Differential Revision: D19449711 fbshipit-source-id: 0e281df5b
5 years ago · e0a4e53426
parent 430727519b
commit e0a4e53426
1 changed files with 1 additions and 1 deletions
--- a/2
+++ b/2
@ -1 +1 @@
-Subproject commit 48158188ffd9a52da5658f1c157e25d58e614c1d
+Subproject commit 72eea5bcc7a2f47f53b1dee073429847845ac632