diff --git a/common b/common
index aa797fa13..4c7ae1581 160000
--- a/common
+++ b/common
@@ -1 +1 @@
-Subproject commit aa797fa1304073107baf7f993cd0273da79b452e
+Subproject commit 4c7ae1581fa4c160fd8c1a04dcec1997f52808b0
diff --git a/contrib/visualize-alignment/tracetops.ml b/contrib/visualize-alignment/tracetops.ml
index b838b30f3..102a03580 100755
--- a/contrib/visualize-alignment/tracetops.ml
+++ b/contrib/visualize-alignment/tracetops.ml
@@ -185,7 +185,7 @@ let ranges =
           loop i0 rest
       | (false, i1) :: rest ->
           let i1 = i1 - 1 in
-          let rest = List.dropwhile (function (v, _) -> not v) rest in
+          let rest = List.drop_while (function (v, _) -> not v) rest in
           (match rest with
            | [] -> [i0, i1]
            | (_, i2) :: rest -> (i0, i1) :: loop i2 rest)