mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-08-14 01:36:48 +00:00
Code Activity

Fix imported indentation

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-08-08 20:41:52 +00:00 • committed by GitHub
parent 5bafdc021f
commit 8e64ac9f42
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 7 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/ast/for_each_ast.h
View file

@ -30,7 +30,7 @@ bool for_each_ast_args(ptr_vector<ast> & stack, ast_mark & visited, unsigned num
if (!visited.is_marked(arg)) {
stack.push_back(arg);
result = false;
}
}
}
return result;
}
@ -265,4 +265,3 @@ private:
}
};

13
src/util/ext_numeral.h
View file

@ -282,15 +282,15 @@ bool lt(numeral_manager & m,
case EN_PLUS_INFINITY:
return true;
// The default case below is not necessary: the cases above cover all the
// elements of the ext_numeral_kind enum. But gcc complains with a warning
// if this default case is absent. So we leave it in, but disable Clang's
// (correct) warning that the default is unnecessary.
START_DISABLE_COVERED_SWITCH_DEFAULT;
// The default case below is not necessary: the cases above cover all the
// elements of the ext_numeral_kind enum. But gcc complains with a warning
// if this default case is absent. So we leave it in, but disable Clang's
// (correct) warning that the default is unnecessary.
START_DISABLE_COVERED_SWITCH_DEFAULT;
default:
UNREACHABLE();
return false;
END_DISABLE_WARNING_STMT;
END_DISABLE_WARNING_STMT;
}
case EN_PLUS_INFINITY:
return false;
@ -347,4 +347,3 @@ void display_pp(std::ostream & out,
case EN_PLUS_INFINITY: out << "+&infin;"; break;
}
}