---

yaml
---
r: 83307
b: refs/heads/variant-submodule
c: a528058
h: refs/heads/develop
i:
  83305: 43197b8
  83303: 324bfc7

Author: thomasspriggs

[refs]

@@ -131,7 +131,7 @@ refs/heads/unwind-counters4: 57aedaa3fe3995b30ba69c96c9f04df79f8e8ff8
 refs/heads/value-set-make-member: 0f8404cb460f55d43bc253e12f1bde7fd7ed4d37
 refs/heads/value-set-member-fix: 2c87bd4c0d9e1954e2de6af0118fa1ef296ae548
 "refs/heads/value_set_fi_hacks": 3d243543adb4ff450596e7994e2fa1d590ec1e1b
-refs/heads/variant-submodule: 932d41da736ccc55c6a3a301891277d934543ed4
+refs/heads/variant-submodule: a528058e8e7e0f7081e1d0516dafc67c7cddb81e
 refs/heads/windows-console-streambuf: b984ac7bd772da956bb5656f0072d85b3fdbbf34
 refs/tags/cbmc-5.10: 097cf712f57d59cff9c53a9fb7b9b81be1245f93
 refs/tags/cbmc-5.11: 90d0de91b0918c9e5d5ed250cae62241ae38392a

branches/variant-submodule/src/Makefile

@@ -91,7 +91,7 @@ memory-analyzer.dir: util.dir goto-programs.dir langapi.dir linking.dir \
 	                   ansi-c.dir
 
 symtab2gb.dir: util.dir goto-programs.dir langapi.dir linking.dir \
-               json.dir json-symtab-language.dir
+               json.dir json-symtab-language.dir ansi-c.dir
 
 # building for a particular directory