Skip to content

Commit 1ce5f17

Browse files
committed
Remove redundant Analyses.Dom.lift
Same definition is already included from LiftConf
1 parent 2879ebd commit 1ce5f17

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

src/framework/analyses.ml

Lines changed: 0 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -128,8 +128,6 @@ struct
128128
let top_name = "Totally unknown and messed up"
129129
end) (LD)
130130

131-
let lift (x:LD.t) : t = `Lifted x
132-
133131
let unlift x =
134132
match x with
135133
| `Lifted x -> x

0 commit comments

Comments
 (0)