diff options
Diffstat (limited to 'always_defect.pl')
| -rw-r--r-- | always_defect.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/always_defect.pl b/always_defect.pl index 3857d5f..f9fd91d 100644 --- a/always_defect.pl +++ b/always_defect.pl @@ -1 +1 @@ -always_defect(_, d). +always_defect(_, d, _, _). |