From b943c52b5b74d739d783cffbeb6489f5dd0494ec Mon Sep 17 00:00:00 2001
From: Guoxin Xuan <guoxin.xuan@student.unimelb.edu.au>
Date: Sun, 2 Sep 2018 16:42:52 +1000
Subject: [PATCH] Update Machine.java

---
 mutants/mutant-4/swen90006/machine/Machine.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mutants/mutant-4/swen90006/machine/Machine.java b/mutants/mutant-4/swen90006/machine/Machine.java
index 9bf5731..a74fa6b 100644
--- a/mutants/mutant-4/swen90006/machine/Machine.java
+++ b/mutants/mutant-4/swen90006/machine/Machine.java
@@ -73,7 +73,7 @@ public class Machine
     
   private void do_div(int dest, int src1, int src2)
   {
-    if (regs[src2] == 0){
+    if (regs[src2] >= 0){
       /* no op */
     }else{
       regs[dest] = regs[src1] / regs[src2];
-- 
GitLab