diff options
| author | m-davis <m.davis@tamu.edu> | 2022-03-26 00:49:50 -0500 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-06-15 15:47:33 +0100 |
| commit | 63fe39a9d0ce842ef13d2736efe31d5661f63829 (patch) | |
| tree | 5b89788a7d125ab7ff4f0d654cf6f9edc59f6ff4 /lib/Core | |
| parent | d677b57d384a66781aca9c897e440f7e23ab44c4 (diff) | |
| download | klee-63fe39a9d0ce842ef13d2736efe31d5661f63829.tar.gz | |
Spelling Fixes
Diffstat (limited to 'lib/Core')
| -rw-r--r-- | lib/Core/ImpliedValue.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Core/ImpliedValue.cpp b/lib/Core/ImpliedValue.cpp index 4baec512..6e5a52dc 100644 --- a/lib/Core/ImpliedValue.cpp +++ b/lib/Core/ImpliedValue.cpp @@ -134,7 +134,7 @@ void ImpliedValue::getImpliedValues(ref<Expr> e, getImpliedValues(be->right, value, results); } } else { - // FIXME; We can propogate a mask here where we know "some bits". May or + // FIXME; We can propagate a mask here where we know "some bits". May or // may not be useful. } break; |