php 值传送后查找数据库找不到

php 值传递后查找数据库找不到
做一个简单的学生管理系统
  </select>       专业：<select name="pro">
    <option value="计算机科学与技术">计算机科学与技术</option>
    <option value="网络工程">网络工程</option>
    <option value="财务管理">财务管理</option>
    <option value="全部" selected="selected">全部</option>
上边是选项
这边是进行数据库搜索
if ( $pro!="全部" )
{
$query = "select * from s where pro=$pro";
}
请问下为什么取出来了值但是在数据库中找不到匹配?
提示query为空值
数据库已有这个数据
[解决办法]
至少要这样
$query = "select * from s where pro='$pro'";