diff options
| -rw-r--r-- | config/list/test-pos.lst | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/config/list/test-pos.lst b/config/list/test-pos.lst index 5490377612..1569c5de3f 100644 --- a/config/list/test-pos.lst +++ b/config/list/test-pos.lst @@ -68,4 +68,10 @@ pos/test5refine.scala pos/thistypes.scala pos/valdefs.scala +cours/constr.scala +cours/lisp.scala +cours/sim.scala +cours/week10.scala +cours/week10a.scala + ############################################################################## |