runtimeverification/aspectLLVM — pull request #3 by traiansf (2014-07-30 21:02:39+00:00)
Title: Issue #2 patch

@pdaian I hope this is what you wanted for Issue #2