merge fix

kslin · Apr 27, 2012 · 34e37db · 34e37db
1 parent 3ca36d7
commit 34e37db
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/threats.ml b/threats.ml
@@ -77,9 +77,9 @@ module TGenerator(B: BOARD):THREATS with type board = B.board
 
     let rec gen_threat_tree (b: board) (t: threat) (tlist: threats) = 
       let Threat(ttype, _, _, _) = t in
-      if (B.isWin b) || (ttype = StraightFour) then 
+      if (B.isWin b != None) || (ttype = StraightFour) then 
         Win(b, t, t::tlist)
-      else
+      else 
         let threatList = get_dependent_threats b t in 
           if threatList = [] then 
             Leaf(b, t)