diff options
-rw-r--r-- | config/list/test-pos.lst | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/config/list/test-pos.lst b/config/list/test-pos.lst index 0ef8310978..77cdcd69e0 100644 --- a/config/list/test-pos.lst +++ b/config/list/test-pos.lst @@ -72,7 +72,6 @@ pos/valdefs.scala pos/vincent.scala cours/constr.scala -cours/lisp.scala cours/sim.scala cours/week10.scala cours/week10a.scala |