diff options
| author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-10-13 11:32:49 +0200 |
|---|---|---|
| committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-10-13 11:32:49 +0200 |
| commit | 78aaa3e5468f7e23267659b99b20f9ef33cdad44 (patch) | |
| tree | e4d6a050aa415464cc47a30c33076c6b3071cf6c /src/rustllvm/RustWrapper.cpp | |
| parent | 849a0e9c40ef79efec0802334fe10406ea3e7256 (diff) | |
| download | rust-78aaa3e5468f7e23267659b99b20f9ef33cdad44.tar.gz rust-78aaa3e5468f7e23267659b99b20f9ef33cdad44.zip | |
Check the invariant for `principal` inside the method
Diffstat (limited to 'src/rustllvm/RustWrapper.cpp')
0 files changed, 0 insertions, 0 deletions