diffblue
diff --git a/‎src/pointer-analysis/Makefile‎
Lines changed: 0 additions & 1 deletion b/‎src/pointer-analysis/Makefile‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎src/pointer-analysis/dereference.cpp‎
Lines changed: 0 additions & 349 deletions b/‎src/pointer-analysis/dereference.cpp‎
Lines changed: 0 additions & 349 deletions
@@ -1,5 +1,4 @@
 SRC = add_failed_symbols.cpp \
-      dereference.cpp \
       goto_program_dereference.cpp \
       pointer_offset_sum.cpp \
       rewrite_index.cpp \
Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,4 @@`
`1`	`1`	`SRC = add_failed_symbols.cpp \`
`2`		`- dereference.cpp \`
`3`	`2`	`goto_program_dereference.cpp \`
`4`	`3`	`pointer_offset_sum.cpp \`
`5`	`4`	`rewrite_index.cpp \`