oops

RedPRL · Jan 30, 2019 · ad2c0de · ad2c0de
1 parent 153081b
commit ad2c0de
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/core/NewDomain.ml b/src/core/NewDomain.ml
@@ -3534,9 +3534,8 @@ and Face :
         let frm' = Frame.run rel' frm in
         DelayedLazyX.plug rel' ~rigid:false frm' bdy
       | `Inconsistent ->
-        failwith "Fuck!!!"
-    (* should not happen by the invariant *)
-    (* r, r', DelayedLazyX.make D.dummy *)
+        (* should not happen by the invariant *)
+        r, r', DelayedLazyX.make D.dummy
 
     let force rel ((r, r', bdy) as face) =
       match Rel.compare r r' rel with