From 86a4108ef40847efa8f09ed2244e65134812a790 Mon Sep 17 00:00:00 2001
From: semenikhin <semenikhind@gmail.com>
Date: Sat, 15 Sep 2018 18:20:22 +0500
Subject: [PATCH] fix comment (#1790)

GMP
---
 workspace/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/workspace/Dockerfile b/workspace/Dockerfile
index 2ce90784..7ea6b1f5 100644
--- a/workspace/Dockerfile
+++ b/workspace/Dockerfile
@@ -188,7 +188,7 @@ RUN if [ ${INSTALL_SSH2} = true ]; then \
 ;fi
 
 ###########################################################################
-# SOAP:
+# GMP:
 ###########################################################################
 
 USER root
@@ -197,7 +197,7 @@ ARG INSTALL_GMP=false
 ARG PHP_VERSION=${PHP_VERSION}
 
 RUN if [ ${INSTALL_GMP} = true ]; then \
-  # Install the PHP SOAP extension
+  # Install the PHP GMP extension
   apt-get -y install php${PHP_VERSION}-gmp \
 ;fi