remove Blkfront_init from build

mirage · Dec 7, 2013 · 3d2c697 · 3d2c697
1 parent 86aadb5
commit 3d2c697
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/lib/blkfront.mllib b/lib/blkfront.mllib
@@ -1,5 +1,4 @@
 # OASIS_START
-# DO NOT EDIT (digest: f7fed72d781df4577f6248f09fbc53cc)
+# DO NOT EDIT (digest: 2d16726a1926756d424db957c9d78408)
 Blkfront
-Blkfront_init
 # OASIS_STOP