Skip to content

Commit

Permalink
fix after merge
Browse files Browse the repository at this point in the history
  • Loading branch information
@oflatt
oflatt committed Feb 11, 2025
1 parent 65b8641 commit 531450c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dag_in_context/src/utility/terms.egg
View file
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@

(constructor TCPair (Term i64) TermAndCost)

(function NoTerm () Term)
(constructor NoTerm () Term)

;; set extracted expr to default value
(rule ((PotentialExtractedExpr expr termandcost))
Expand Down

0 comments on commit 531450c

Please sign in to comment.