diff options
Diffstat (limited to 'impl/systems/long-fixpoint')
| -rw-r--r-- | impl/systems/long-fixpoint | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/impl/systems/long-fixpoint b/impl/systems/long-fixpoint index f56b700..5838910 100644 --- a/impl/systems/long-fixpoint +++ b/impl/systems/long-fixpoint @@ -98,7 +98,6 @@ x96 = x95 x97 = x96 x98 = x97 x99 = x98 -<<<<<<< HEAD x100 = x99 x101 = x100 x102 = x101 |