-
Notifications
You must be signed in to change notification settings - Fork 483
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fixup! Revert "Revert "SCP-2136 Inline single occurrence bounded terms (
- Loading branch information
Jakub Zalewski
committed
Jul 9, 2021
1 parent
286284e
commit 0864428
Showing
2 changed files
with
2 additions
and
14 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1 @@ | ||
<<<<<<< HEAD | ||
(delay (lam x_195 x_195)) | ||
||||||| parent of 66189fa5c (Revert "Revert "SCP-2136 Inline single occurrence bounded terms (#3257)" (#3344)") | ||
(delay (lam x_31 x_31)) | ||
======= | ||
(delay (lam x_21 x_21)) | ||
>>>>>>> 66189fa5c (Revert "Revert "SCP-2136 Inline single occurrence bounded terms (#3257)" (#3344)") | ||
(delay (lam x_705 x_705)) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,7 +1 @@ | ||
<<<<<<< HEAD | ||
(delay (lam case_True_635 (lam case_False_636 case_False_636))) | ||
||||||| parent of 66189fa5c (Revert "Revert "SCP-2136 Inline single occurrence bounded terms (#3257)" (#3344)") | ||
(delay (lam case_True_254 (lam case_False_255 case_False_255))) | ||
======= | ||
(delay (lam case_True_377 (lam case_False_378 case_False_378))) | ||
>>>>>>> 66189fa5c (Revert "Revert "SCP-2136 Inline single occurrence bounded terms (#3257)" (#3344)") | ||
(delay (lam case_True_4485 (lam case_False_4486 case_False_4486))) |