C++: remove double backtick in qldoc

This commit is contained in:
Robert Marsh
2018-11-08 11:39:47 -08:00
parent 0d9e2098f2
commit 72bb7c9c42

View File

@@ -207,7 +207,7 @@ private predicate unknownSign(Instruction i) {
}
/**
* Holds if `lowerbound` is a lower bound for `bounded``. This is restricted
* Holds if `lowerbound` is a lower bound for `bounded`. This is restricted
* to only include bounds for which we might determine a sign.
*/
private predicate lowerBound(IRGuardCondition comp, Operand lowerbound, Operand bounded, boolean isStrict) {