diff options
Diffstat (limited to 'src/especialize.sml')
| -rw-r--r-- | src/especialize.sml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/especialize.sml b/src/especialize.sml index a3d59ef9..d6bf7eba 100644 --- a/src/especialize.sml +++ b/src/especialize.sml @@ -124,7 +124,6 @@ fun default (_, x, st) = (x, st) val functionInside = U.Con.exists {kind = fn _ => false, con = fn TFun _ => true - | TCFun _ => true | CFfi ("Basis", "transaction") => true | CFfi ("Basis", "eq") => true | CFfi ("Basis", "num") => true |