problemas com o cin.getline()

[Wall.Borges]

Boa tarde pessoal.

sou novo no fórum e na programação, na verdade estou começando a estudar programação agora.

eu estava criando um código simples, só por exercício mesmo.

mas não consigo fazer com que o cin.getline(no fim do codigo) funcione.

se alguém puder me ajudar a acrescentar mais nessa minha jornada eu agradeço :)

esse é codigo:

#include<iostream>

#include<fstream>

#include<string>

#include<stdlib.h>

#include<cstdio>

using namespace std;

int main()

{

string Varuser,Varsenha, Varuser2, Varsenha2;

ifstream txt;

int fechar,cont;

txt.open("c://users.txt");

if(!txt.is_open())

{

cout<<"o arquivo não pod ser aberto!!!";

}

getline(txt,Varuser);

getline(txt,Varsenha);

cout<<"Digite o usuario: ";

cin>>Varuser2;

while(Varuser2!=Varuser)

{

cont++;

cout<<"Usuario não encontrado!!!\n";

cout<<"Digite o usuario: ";

cin>>Varuser2;

}

cout<<"Digite a senha: ";

cin>>Varsenha2;

while(Varsenha2!=Varsenha)

{

cout<<"senha incorreta!!!\n";

cout<<"Digite a senha: ";

cin>>Varsenha2;

}

cout<<"Bem Vindo Wall\n"<<"ESCOLHA UMA OPCAO!!\n\n";

int menu;

char produt[50];

cout<<"1-cadastro de produtos.\n\n"<<"2-consultar produto.\n\n"<<"3-sair do sistema\n\n";

cin>>menu;

if(menu==1)

{

cin.getline(produt, 50); //aqui está o problema,esse trecho não é executado.

cout<<produt;

}

if(menu==2)

{

cout<<"em construcao!!!\n";

}

}