Skip to content

Commit 1ca1348

Browse files
author
Shale Xiong
committed
[gen] use ext wildcard in forbidden file
1 parent 11fbeff commit 1ca1348

1 file changed

Lines changed: 1 addition & 1 deletion

File tree

gen/libdir/forbidden.conf

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@
6464
# let Exp-obs =
6565
# [Exp & M]; rf & ext; [Exp & M]
6666
# | [Exp & M]; ca & ext; [Exp & M]
67-
-safe Rfe Fre Coe
67+
-safe Ext
6868

6969
#let Exp-haz-ob = [Exp & R]; (po & same-loc); [Exp & R]; (ca & ext); [Exp & W]
7070
-safe [PosRR Fre]

0 commit comments

Comments
 (0)