Skip to content

Commit 5a01942

Browse files
committed
Update gitignore
1 parent 0f6df5c commit 5a01942

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

.gitignore

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -75,6 +75,10 @@ src/xmllang/xml_lex.yy.cpp
7575
src/xmllang/xml_y.output
7676
src/xmllang/xml_y.tab.cpp
7777
src/xmllang/xml_y.tab.h
78+
src/memory-models/mm_lex.yy.cpp
79+
src/memory-models/mm_y.output
80+
src/memory-models/mm_y.tab.cpp
81+
src/memory-models/mm_y.tab.h
7882

7983
# binaries
8084
src/cbmc/cbmc

0 commit comments

Comments
 (0)