diff options
Diffstat (limited to 'frontends/ast/ast.h')
| -rw-r--r-- | frontends/ast/ast.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/frontends/ast/ast.h b/frontends/ast/ast.h index fed5ad067..c9fe58a3d 100644 --- a/frontends/ast/ast.h +++ b/frontends/ast/ast.h @@ -65,7 +65,6 @@ namespace AST AST_PREFIX, AST_ASSERT, AST_ASSUME, - AST_PREDICT, AST_FCALL, AST_TO_BITS, |