Merge pull request #12832 from pgavlin/FgMarkIntf
authorPat Gavlin <pgavlin@gmail.com>
Sat, 15 Jul 2017 05:37:54 +0000 (22:37 -0700)
committerGitHub <noreply@github.com>
Sat, 15 Jul 2017 05:37:54 +0000 (22:37 -0700)
commit41b0666ce5a9c5db4f01716ea30ff445ef999e4b
treecc57ddb5b9146c3bdd6fdd22ce8bad856dfe04d4
parent876458c5552384f1b2a9677cfa7b1cce5905994e
parente60629277653f8b367243be4e87d80cde325f237
Merge pull request #12832 from pgavlin/FgMarkIntf

Add an overload of `fgMarkIntf` that takes a var index.