From a7b51d04cd2af233f704f75406f2a90ec8d9c52f Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Tue, 25 Aug 2020 15:10:41 +0100 Subject: [PATCH] remove unused file --- src/util/pop_scopes.h | 35 ----------------------------------- 1 file changed, 35 deletions(-) delete mode 100644 src/util/pop_scopes.h diff --git a/src/util/pop_scopes.h b/src/util/pop_scopes.h deleted file mode 100644 index a23f9b7c181..00000000000 --- a/src/util/pop_scopes.h +++ /dev/null @@ -1,35 +0,0 @@ -/*++ -Copyright (c) 2006 Microsoft Corporation - -Module Name: - - pop_scopes.h - -Abstract: - - - -Author: - - Leonardo de Moura (leonardo) 2008-06-02. - -Revision History: - ---*/ -#pragma once - -#define POP_SCOPES(_num_scopes, _lim, _trail, _action) \ - if (_num_scopes > 0) \ - { \ - unsigned scope_lvl = _lim.size(); \ - unsigned new_lvl = scope_lvl - _num_scopes; \ - unsigned curr_size = _trail.size(); \ - unsigned old_size = _lim[new_lvl]; \ - for (unsigned i = curr_size-1; i >= old_size && i != static_cast(-1); --i) { \ - _action; \ - } \ - _trail.shrink(old_size); \ - _lim.shrink(new_lvl); \ - } - -