diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index a00105fdb6e..58502e1e931 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -811,7 +811,7 @@ rec {
     strategoxt = (import ../development/compilers/strategoxt/strategoxt-0.14.nix) {
       inherit fetchurl pkgconfig sdf;
       aterm = aterm23x;
-      stdenv = overrideGCC (overrideInStdenv stdenv [gnumake380]) gcc34;;
+      stdenv = overrideGCC (overrideInStdenv stdenv [gnumake380]) gcc34;
     };
 
     stlport =  (import ../development/libraries/stlport) {