diff --git a/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt b/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt
index d67c792..1bdc7ec 100644
--- a/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt
+++ b/turnstile/examples/tests/rosette/run-all-rosette-tests.rkt
@@ -8,11 +8,7 @@
 ;(require "bv-ref-tests.rkt")
 ; visit but dont instantiate, o.w. will get unsat
 ;(dynamic-require "fsm-test.rkt" #f)
-<<<<<<< HEAD
 (require "ifc-tests.rkt")
 
 ; don't run this file for testing:
 (module test racket/base)
-=======
-;(require "ifc-tests.rkt")
->>>>>>> add optimize, remaining sec3 tests; fix CList-CListof subtyping