Skip to content

Commit

Permalink
disable creating a space that open toss
Browse files Browse the repository at this point in the history
  • Loading branch information
critical27 committed Dec 27, 2022
1 parent a5ce238 commit 3b12d8a
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/parser/parser.yy
Original file line number Diff line number Diff line change
Expand Up @@ -3630,9 +3630,6 @@ space_opt_item
$$ = new SpaceOptItem(SpaceOptItem::VID_TYPE, *$3);
delete $3;
}
| KW_ATOMIC_EDGE ASSIGN BOOL {
$$ = new SpaceOptItem(SpaceOptItem::ATOMIC_EDGE, $3);
}
// TODO(YT) Create Spaces for different engines
// KW_ENGINE_TYPE ASSIGN name_label
;
Expand Down

0 comments on commit 3b12d8a

Please sign in to comment.