diff --git a/libavdevice/pulse_audio_enc.c b/libavdevice/pulse_audio_enc.c
index e0f23c8ee9..591e518824 100644
--- a/libavdevice/pulse_audio_enc.c
+++ b/libavdevice/pulse_audio_enc.c
@@ -109,7 +109,7 @@ static int pulse_write_packet(AVFormatContext *h, AVPacket *pkt)
         s->timestamp = pkt->dts;
 
     if (pkt->duration) {
-        s->timestamp += pkt->duration;;
+        s->timestamp += pkt->duration;
     } else {
         AVStream *st = h->streams[0];
         AVCodecContext *codec_ctx = st->codec;